Logics without Craig's interpolation property

DOI10.3792/pjaa.54.46zbMath0399.03048OpenAlexW2067884384MaRDI QIDQ1254250

Yuichi Komori

Publication date: 1978

Published in: Proceedings of the Japan Academy. Series A (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pjaa.54.46

zbMATH Keywords

Craig's Interpolation PropertyIntermediate Propositional LogicIntuitionistic MathematicsSuperclassical Predicate Logics

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items

Decidability of the interpolation problem and of related properties in tabular logics ⋮ The disjunction property of intermediate propositional logics ⋮ Fuzzy logics from substructural perspective ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ When is a schema not a schema? On a remark by Suszko

Cites Work

• Unnamed Item
• A study of intermediate predicate logics
• On formulas of one variable in intuitionistic propositional calculus