Stone-type representations and dualities for varieties of bisemilattices

DOI10.1007/S11225-017-9745-9zbMATH Open1437.06003arXiv1803.06670OpenAlexW3098538525MaRDI QIDQ1744009FDOQ1744009

Authors: Antonio Ledda 

Publication date: 16 April 2018

Published in: Studia Logica (Search for Journal in Brave)

Abstract: In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes' representation theorem to bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas-Dunn duality and introduce the categories of 2spaces and 2spaces${}^{star}$. The categories of 2spaces and 2spaces${}^{star}$ will play with respect to the categories of distributive bisemilattices and De Morgan bisemilattices, respectively, a role analogous to the category of Stone spaces with respect to the category of Boolean algebras. Actually, the aim of this work is to show that these categories are, in fact, dually equivalent.

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

Recommendations

• A duality for involutive bisemilattices
• A categorical duality for semilattices and lattices
• Semilattice-based dualities
• scientific article; zbMATH DE number 32090
• Distributive bilattices from the perspective of natural duality theory.

zbMATH Keywords

semilatticesStone dualitybisemilatticesdistributive bisemilatticesDe Morgan bisemilattices

Mathematics Subject Classification ID

Semilattices (06A12) Preorders, orders, domains and lattices (viewed as categories) (18B35) Lattices and duality (06D50) Stone spaces (Boolean spaces) and related structures (06E15)

Cites Work

• Title not available (Why is that?)
• The logic of paradox
• Title not available (Why is that?)
• Title not available (Why is that?)
• Outline of a Theory of Truth
• Title not available (Why is that?)
• Stone duality for lattices
• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The Theory of Representation for Boolean Algebras
• Topological representations of distributive lattices and Brouwerian logics
• Title not available (Why is that?)
• Ordered Topological Spaces and the Representation of Distributive Lattices
• On notation for ordinal numbers
• The value of the four values
• The product representation theorem for interlaced pre-bilattices: some historical remarks.
• Bilattices and the semantics of logic programming
• Title not available (Why is that?)
• The many valued and nonmonotonic turn in logic
• A mathematical setting for fuzzy logics
• Title not available (Why is that?)
• Multi-valued logic programming semantics An algebraic approach
• The Stone Space of an Ortholattice
• Bisemilattices of subsemilattices
• Title not available (Why is that?)
• On bisemilattices with one distributive law
• Title not available (Why is that?)
• On distributive quad-lattices
• A representation theorem for distributive quasi-lattices
• Regular Identities in Lattices
• Logic of antinomies
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nonsense logics and their algebraic properties
• Varieties of Birkhoff systems. II
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Subdirect decomposition of distributive quasilattices
• Title not available (Why is that?)
• Semilattice-based dualities
• On the sum of a direct system of universal algebras with nullary polynomials
• Title not available (Why is that?)
• Foreword: three-valued logics and their applications
• A comment on Balbes' representation theorem for distributive quasi-lattices
• Presupposition failure - a comedy of errors
• Title not available (Why is that?)
• Representing quantum structures as near semirings

Cited In (8)

• Dualities for Płonka sums
• Logics of left variable inclusion and Płonka sums of matrices
• Continuous domains in formal concept analysis
• Algebras of complemented subsets
• Title not available (Why is that?)
• The categorical equivalence between domains and interpolative generalized closure spaces
• Condition/decision duality and the internal logic of extensive restriction categories
• A duality for involutive bisemilattices

This page was built for publication: Stone-type representations and dualities for varieties of bisemilattices

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