Free Heyting Algebras: Revisited

DOI10.1007/978-3-642-03741-2_18zbMath1238.06007OpenAlexW1496666004MaRDI QIDQ2888491

Nick Bezhanishvili, Mai Gehrke

Publication date: 1 June 2012

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03741-2_18

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Other algebras related to logic (03G25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Gödel algebras free over finite distributive lattices
• An algebraic theory of normal forms
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Distributive Lattice-Structured Ontologies
• PSPACE bounds for rank-1 modal logics
• A Cook's Tour of the Finitary Non-Well-Founded Sets
• Free Modal Algebras: A Coalgebraic Perspective
• The Goldblatt-Thomason Theorem for Coalgebras
• Bounded distributive lattices with strict implication
• Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
• Coalgebraic modal logic of finite rank

This page was built for publication: Free Heyting Algebras: Revisited