Free Heyting algebras

DOI10.1007/BF02945107MaRDI QIDQ2264689zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(11)

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

This page was built for publication: Free Heyting algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2264689)