Intuitionistic validity in \(T\)-normal Kripke structures
From MaRDI portal
Publication:685055
DOI10.1016/0168-0072(93)90091-QzbMath0802.03006MaRDI QIDQ685055
Publication date: 22 September 1993
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(93)90091-q
Peano arithmetic; intuitionistic logic; \(T\)-normal Kripke structure; Friedman's \(\phi\)- translation
03F30: First-order arithmetic and fragments
03F50: Metamathematics of constructive systems
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
2003 Annual Meeting of the Association for Symbolic Logic, 1999 European Summer Meeting of the Association for Symbolic Logic, Intuitionistic open induction and least number principle and the Buss operator, A semantic approach to conservativity, Homomorphisms and chains of Kripke models, Intermediate logics and the de Jongh property, Finite sets and infinite sets in weak intuitionistic arithmetic, Intuitionistic axiomatizations for bounded extension Kripke models., Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)
Cites Work