Duality and Universal Models for the Meet-Implication Fragment of IPC

DOI10.1007/978-3-662-46906-4_7zbMath1326.03016arXiv1403.0710OpenAlexW1535513325MaRDI QIDQ3455183

Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick H. J. de Jongh

Publication date: 3 December 2015

Published in: Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1403.0710

zbMATH Keywords

interpolationdualityHeyting algebrasdefinabilityintuitionistic logicfree algebrasuniversal modelsimplicative semilattices

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

On intermediate inquisitive and dependence logics: an algebraic study ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Profinite completions and canonical extensions of Heyting algebras
• Amalgamation and interpolation in the category of Heyting algebras
• Esakia style duality for implicative semilattices
• An algebraic approach to subframe logics. Intuitionistic case
• Intuitionistic implication without disjunction
• Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
• Positive Formulas in Intuitionistic and Minimal Logic
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Brouwerian Semilattices
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Representation of Distributive Lattices by means of ordered Stone Spaces