Stable formulas in intuitionistic logic

DOI10.1215/00294527-2017-0030zbMath1456.03052OpenAlexW2799494962MaRDI QIDQ1782236

Nick Bezhanishvili, Dick H. J. de Jongh

Publication date: 19 September 2018

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1525420860

zbMATH Keywords

intuitionistic logicaxiomatizationintermediate logicsmonotonic mapsstable logicssubframe logics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items

Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Unnamed Item ⋮ Subintuitionistic logics and the implications they prove ⋮ Remarks on Stable Formulas in Intuitionistic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Locally finite reducts of Heyting algebras and canonical formulas
• An algebraic approach to canonical formulas: modal case
• Syntax and semantics of superintuitionistic logics
• Frame based formulas for intermediate logics
• An algebraic approach to subframe logics. Intuitionistic case
• STABLE CANONICAL RULES
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Logics containing K4. Part II
• Canonical formulas for K4. Part II: Cofinal subframe logics
• CANONICAL FORMULAS FOR wK4