Free Heyting algebras

DOI10.1007/BF02945107zbMath0274.06005OpenAlexW2013539775MaRDI QIDQ2264689

Alasdair Urquhart

Publication date: 1973

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02945107

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Complemented lattices, orthocomplemented lattices and posets (06C15)

Related Items

An algebraic theory of normal forms, A sheaf representation and duality for finitely presented Heyting algebras, Finitely generated free Heyting algebras: the well-founded initial segment, Algebraization of quantifier logics, an introductory overview, Free equivalential algebras, On Bellissima's construction of the finitely generated free Heyting algebras, and beyond, FORMULAS IN MODAL LOGIC S4, Finitely generated free Heyting algebras, Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, A Logical Autobiography

Cites Work

• Unnamed Item
• Unnamed Item