Intuitionistic validity in \(T\)-normal Kripke structures

DOI10.1016/0168-0072(93)90091-QzbMath0802.03006OpenAlexW2092214433MaRDI QIDQ685055

Samuel R. Buss

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

zbMATH Keywords

Peano arithmeticintuitionistic logic\(T\)-normal Kripke structureFriedman's \(\phi\)- translation

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (9)

A semantic approach to conservativity ⋮ Intermediate logics and the de Jongh property ⋮ Intuitionistic axiomatizations for bounded extension Kripke models. ⋮ Homomorphisms and chains of Kripke models ⋮ Intuitionistic open induction and least number principle and the Buss operator ⋮ 2003 Annual Meeting of the Association for Symbolic Logic ⋮ 1999 European Summer Meeting of the Association for Symbolic Logic ⋮ Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) ⋮ Finite sets and infinite sets in weak intuitionistic arithmetic

Cites Work

• Finite Kripke models of HA are locally PA
• Constructivism in mathematics. An introduction. Volume I
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Intuitionistic validity in \(T\)-normal Kripke structures