Gödel algebras: interactive dualities and their applications.

DOI10.1007/s00012-015-0339-yzbMath1334.06011arXiv1312.0413OpenAlexW1532054119MaRDI QIDQ494623

Hilary A. Priestley, Leonardo Manuel Cabrer

Publication date: 1 September 2015

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

Full work available at URL: https://arxiv.org/abs/1312.0413

zbMATH Keywords

coproductslattices of varietiesamalgamationnatural dualitiesEsakia dualityinteractive dualitiessubdirectly irreducible Gödel algebrasvarieties of Heyting algebras

Mathematics Subject Classification ID

Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20) Structure and representation theory of distributive lattices (06D05) Lattices and duality (06D50) Other algebras related to logic (03G25) Natural dualities for classes of algebras (08C20)

Related Items (5)

Unnamed Item ⋮ Coproducts of distributive lattice-based algebras. ⋮ Sugihara algebras and Sugihara monoids: Multisorted dualities ⋮ Sugihara algebras: admissibility algebras via the test spaces method ⋮ Categories of models of \(\mathbf{R}\)-mingle

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coproducts of distributive lattice-based algebras.
• Distributivity of coproducts over products
• Skolem's discovery of Gödel-Dummett logic
• Computing coproducts of finitely presented Gödel algebras
• Equational classes of relative Stone algebras
• Dual categories for endodualisable Heyting algebras: optimization and axiomatization
• Bitopological duality for distributive lattices and Heyting algebras
• Piggyback-Dualitäten
• Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
• Free L-algebras

This page was built for publication: Gödel algebras: interactive dualities and their applications.