Gödel algebras: interactive dualities and their applications.

DOI10.1007/S00012-015-0339-YzbMATH Open1334.06011arXiv1312.0413OpenAlexW1532054119MaRDI QIDQ494623FDOQ494623

Authors: Leonardo Manuel Cabrer, Hilary A. Priestley 

Publication date: 1 September 2015

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computing coproducts of finitely presented Gödel algebras
• Title not available (Why is that?)
• Piggyback-Dualitäten
• Coproducts of distributive lattice-based algebras.
• Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
• Title not available (Why is that?)
• Bitopological duality for distributive lattices and Heyting algebras
• Title not available (Why is that?)
• When is a full duality strong?
• Distributivity of coproducts over products
• Skolem's discovery of Gödel-Dummett logic
• Equational classes of relative Stone algebras
• Dual categories for endodualisable Heyting algebras: optimization and axiomatization
• Free L-algebras

Cited In (9)

• Title not available (Why is that?)
• 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)