A Duality for Involutive Bisemilattices

Bonzio, Stefano
;
Loi, Andrea;Peruzzi, Luisa
2019-01-01

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.
2019
2019
Inglese
107
2
423
444
22
http://www.kluweronline.com/issn/0039-3215
Esperti anonimi
internazionale
scientifica
Duality; Involutive bisemilattice; Paraconsistent weak Kleene; Płonka sum; Stone space; Logic; History and Philosophy of Science
no
Bonzio, Stefano; Loi, Andrea; Peruzzi, Luisa
1.1 Articolo in rivista
info:eu-repo/semantics/article
1 Contributo su Rivista::1.1 Articolo in rivista
262
3
reserved
File in questo prodotto:
File Dimensione Formato  
rivistastudialogica.pdf

Solo gestori archivio

Tipologia: versione editoriale
Dimensione 981.38 kB
Formato Adobe PDF
981.38 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Questionario e social

Condividi su:
Impostazioni cookie