Remarks on Stable Formulas in Intuitionistic Logic

DOI10.12775/LLP.2018.017zbMath1453.03001WikidataQ128918973 ScholiaQ128918973MaRDI QIDQ5215503

Ali Bibak, Majid Alizadeh

Publication date: 11 February 2020

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicintermediate logicmonotonic mapsstable logicssubframe logicsuniform interpolation property

Mathematics Subject Classification ID

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

Cites Work

• Locally finite reducts of Heyting algebras and canonical formulas
• Syntax and semantics of superintuitionistic logics
• Stable formulas in intuitionistic logic
• Logics containing K4. Part II
• On the Independent Axiomatizability of Modal and Intermediate Logics
• Canonical formulas for K4. Part II: Cofinal subframe logics

This page was built for publication: Remarks on Stable Formulas in Intuitionistic Logic