Duality and Universal Models for the Meet-Implication Fragment of IPC
From MaRDI portal
Publication:3455183
DOI10.1007/978-3-662-46906-4_7zbMath1326.03016arXiv1403.0710MaRDI 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
interpolation; duality; Heyting algebras; definability; intuitionistic logic; free algebras; universal models; implicative semilattices
06D20: Heyting algebras (lattice-theoretic aspects)
06D50: Lattices and duality
03B20: Subsystems of classical logic (including intuitionistic logic)
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item