Gödel algebras free over finite distributive lattices

DOI10.1016/J.APAL.2008.04.003MaRDI QIDQ952491zbMATH OpenOpenAlexFDO

Authors Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra

Publication date 12 November 2008

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2008.04.003

zbMATH Keywords

distributive latticesHeyting algebraspartially ordered setsfree objectsduality for finitely presented objectsGödel algebras

Mathematics Subject Classification ID

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

Recommendations

• Computing coproducts of finitely presented Gödel algebras
• Semi-Heyting algebras term-equivalent to Gödel algebras
• Gödel algebras: interactive dualities and their applications.
• Finitely generated free Heyting algebras
• Finitely generated free Heyting algebras: the well-founded initial segment

Cites work

• scientific article; zbMATH DE number 3769855 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• A sheaf representation and duality for finitely presented Heyting algebras
• Brouwerian Semilattices
• Computing coproducts of finitely presented Gödel algebras
• Free L-algebras
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics

Cited in

(11)

• Tarski's theorem on intuitionistic logic, for polyhedra
• Semi-Heyting algebras term-equivalent to Gödel algebras
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
• Prelinear Hilbert algebras
• Gödel algebras: interactive dualities and their applications.
• Characterizing finite-valuedness
• MV-algebras freely generated by finite Kleene algebras.
• Free Heyting algebras: revisited
• Rings and Gödel algebras.
• scientific article; zbMATH DE number 4008456 (Why is no real title available?)
• Computing coproducts of finitely presented Gödel algebras

This page was built for publication: Gödel algebras free over finite distributive lattices

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