Gödel algebras free over finite distributive lattices

DOI10.1016/j.apal.2008.04.003zbMath1153.06004OpenAlexW2073361881MaRDI QIDQ952491

Vincenzo Marra, Brunella Gerla, Stefano Aguzzoli

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

Heyting algebrasdistributive latticespartially ordered setsfree objectsGödel algebrasduality for finitely presented objects

Mathematics Subject Classification ID

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

Related Items

Free Heyting Algebras: Revisited, Semi-Heyting algebras term-equivalent to Gödel algebras, MV-algebras freely generated by finite Kleene algebras., On some questions concerning the axiomatisation of WNM-algebras and their subvarieties, Tarski's theorem on intuitionistic logic, for polyhedra, Prelinear Hilbert algebras, Characterizing finite-valuedness

Cites Work

• Unnamed Item
• Unnamed Item
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Computing coproducts of finitely presented Gödel algebras
• Brouwerian Semilattices
• A sheaf representation and duality for finitely presented Heyting algebras
• Free L-algebras