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
Dion Coumans, Nick Bezhanishvili, 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)