Polterovich - Henkin model with depreciation by Alexander Kirillov, Inna Danilova

Subjects: “…polterovich - henkin model…”
Get full text

Analytic Tableaux for Simple Type Theory and its First-Order Fragment by Chad E. Brown, Gert Smolka

“…We prove these properties for STT with respect to Henkin models and for EFO with respect to standard models. …”
Get full text

Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs by Stefano Berardi, Makoto Tatsuta

“…This paper shows that the 2-Hydra statement is provable in CLKID-omega, but the statement is not provable in LKID, by constructing some Henkin model where the statement is false.…”
Get full text