A Duality for Involutive Bisemilattices

Studia Logica 107 (2):423-444 (2019)
  Copy   BIBTEX

Abstract

We establish a duality between the category of involutive bisemilattices and the category of semilattice inverse systems of Stone spaces, using Stone duality from one side and the representation of involutive bisemilattices as Płonka sum of Boolean algebras, from the other. Furthermore, we show that the dual space of an involutive bisemilattice can be viewed as a GR space with involution, a generalization of the spaces introduced by Gierz and Romanowska equipped with an involution as additional operation.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On involutive FLe-monoids.Sándor Jenei & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):719-738.
Involutive Categories and Monoids, with a GNS-Correspondence.Bart Jacobs - 2012 - Foundations of Physics 42 (7):874-895.
On the variety generated by involutive pocrims.James Raftery - 2007 - Reports on Mathematical Logic.
Semilattice-based dualities.A. B. Romanowska & J. D. H. Smith - 1996 - Studia Logica 56 (1-2):225 - 261.
On a logic of involutive quantales.Norihiro Kamide - 2005 - Mathematical Logic Quarterly 51 (6):579-585.
Duality for algebras of relevant logics.Alasdair Urquhart - 1996 - Studia Logica 56 (1-2):263 - 276.
A coalgebraic view of Heyting duality.Brian A. Davey & John C. Galati - 2003 - Studia Logica 75 (3):259 - 270.
Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.

Analytics

Added to PP
2018-05-10

Downloads
31 (#501,295)

6 months
11 (#226,803)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stefano Bonzio
University of Turin

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Précis of Vagueness.Timothy Williamson - 1997 - Philosophy and Phenomenological Research 57 (4):921-928.
Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Time and Modality.A. N. PRIOR - 1957 - Philosophy 34 (128):56-59.

View all 19 references / Add more references