Gödel algebras: interactive dualities and their applications.

DOI10.1007/S00012-015-0339-YMaRDI QIDQ494623zbMATH OpenOpenAlexFDO

Authors Leonardo Manuel Cabrer, Hilary A. Priestley

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

amalgamationcoproductslattices of varietiesnatural dualitiesEsakia dualityinteractive dualitiesvarieties of Heyting algebrassubdirectly irreducible Gödel algebras

Mathematics Subject Classification ID

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

Abstract: We present a technique for deriving certain new natural dualities for any variety of algebras generated by a finite Heyting chain. The dualities we construct are tailored to admit a transparent translation to the more pictorial Priestley/Esakia duality and back again. This enables us to combine the two approaches and so to capitalise on the virtues of both, in particular the categorical good behaviour of a natural duality: we thereby demonstrate the fullness, or not, of each of our dualities; we obtain new results on amalgamation; and we also provide a simple treatment of coproducts.

Recommendations

• Involutive symmetric Gödel spaces, their algebraic duals and logic
• On Gödel algebras of concepts
• The variety of modal weak Gödel algebras
• On the variety of Gödel MV-algebras
• Computing coproducts of finitely presented Gödel algebras
• Dualizability of automatic algebras.
• Gödel spaces and perfect MV-algebras
• Gödel algebras free over finite distributive lattices
• scientific article; zbMATH DE number 915329
• Spectra of Gödel algebras

Cites work

• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1226180 (Why is no real title available?)
• scientific article; zbMATH DE number 1302498 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• Bitopological duality for distributive lattices and Heyting algebras
• Computing coproducts of finitely presented Gödel algebras
• Coproducts of distributive lattice-based algebras.
• Distributivity of coproducts over products
• Dual categories for endodualisable Heyting algebras: optimization and axiomatization
• Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
• Equational classes of relative Stone algebras
• Free L-algebras
• Piggyback-Dualitäten
• Skolem's discovery of Gödel-Dummett logic
• When is a full duality strong?

Cited in

(9)

• scientific article; zbMATH DE number 7397337 (Why is no real title available?)
• Gödel algebras free over finite distributive lattices
• Dual categories for endodualisable Heyting algebras: optimization and axiomatization
• Coproducts of distributive lattice-based algebras.
• Sugihara algebras and Sugihara monoids: Multisorted dualities
• On products of posets and coproducts of KM-algebras
• Bidimensional Brouwerian algebras
• Sugihara algebras: admissibility algebras via the test spaces method
• Categories of models of \(\mathbf{R}\)-mingle

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

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