Stone-type representations and dualities for varieties of bisemilattices

DOI10.1007/S11225-017-9745-9MaRDI QIDQ1744009zbMATH OpenOpenAlexFDO

Publication date 16 April 2018

Published in Studia Logica (Search for Journal in Brave)

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

semilattices Stone duality bisemilattices distributive bisemilattices De Morgan bisemilattices

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

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

^{s t a r}

. The categories of 2spaces and 2spaces

^{s t a r}

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.

Recommendations

Cites work

Cited in

(8)

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)