Rudimentary Kripke models for the intuitionistic propositional calculus

DOI10.1016/0168-0072(93)90186-HzbMath0847.03004MaRDI QIDQ2367411

Kosta Došen

Publication date: 9 August 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

completenesssoundnessintuitionistic propositional calculusconverse heredityKripke-style models that are not quasi-orderedrudimentary Kripke models

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Weak Logics with Strict Implication
• Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames

This page was built for publication: Rudimentary Kripke models for the intuitionistic propositional calculus