Gödel algebras free over finite distributive lattices
DOI10.1016/J.APAL.2008.04.003zbMATH Open1153.06004OpenAlexW2073361881MaRDI QIDQ952491FDOQ952491
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
Recommendations
distributive latticesHeyting algebraspartially ordered setsfree objectsduality for finitely presented objectsGödel algebras
Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)
Cites Work
- Title not available (Why is that?)
- Computing coproducts of finitely presented Gödel algebras
- Title not available (Why is that?)
- A sheaf representation and duality for finitely presented Heyting algebras
- Free L-algebras
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Brouwerian Semilattices
Cited In (11)
- Title not available (Why is that?)
- Computing coproducts of finitely presented Gödel algebras
- Prelinear Hilbert algebras
- Free Heyting algebras: revisited
- Rings and Gödel algebras.
- Characterizing finite-valuedness
- Gödel algebras: interactive dualities and their applications.
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
- Tarski's theorem on intuitionistic logic, for polyhedra
- Semi-Heyting algebras term-equivalent to Gödel algebras
- MV-algebras freely generated by finite Kleene 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)