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

Authors
Stefano Bonzio
University of Turin
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-018-9801-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,132
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Vagueness.Timothy Williamson - 1997 - Philosophy and Phenomenological Research 57 (4):921-928.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
Vagueness.Vann McGee - 1994 - Linguistics and Philosophy 21 (2):221-235.

View all 15 references / Add more references

Citations of this work BETA

Exactly True and Non-Falsity Logics Meeting Infectious Ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.
Dualities for Płonka Sums.Stefano Bonzio - 2018 - Logica Universalis 12 (3-4):327-339.

View all 7 citations / Add more citations

Similar books and articles

On Involutive FL E -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 index
2018-05-10

Total views
12 ( #788,533 of 2,454,731 )

Recent downloads (6 months)
2 ( #303,745 of 2,454,731 )

How can I increase my downloads?

Downloads

My notes