The paper introduces the notion of state for involutive bisemilattices, a variety which plays the role of algebraic counterpart of weak Kleene logics and whose elements are represented as Płonka sums of Boolean algebras. We investigate the relations between states over an involutive bisemilattice and probability measures over the (Boolean) algebras in the Płonka sum representation and, the direct limit of these algebras. Moreover, we study the metric completion of involutive bisemilattices, as pseudometric spaces, and the topology induced by the pseudometric.

Probability over Płonka sums of Boolean algebras: States, metrics and topology

Bonzio S.
Primo
;
Loi A.
2021-01-01

Abstract

The paper introduces the notion of state for involutive bisemilattices, a variety which plays the role of algebraic counterpart of weak Kleene logics and whose elements are represented as Płonka sums of Boolean algebras. We investigate the relations between states over an involutive bisemilattice and probability measures over the (Boolean) algebras in the Płonka sum representation and, the direct limit of these algebras. Moreover, we study the metric completion of involutive bisemilattices, as pseudometric spaces, and the topology induced by the pseudometric.
2021
Boolean algebra; Involutive bisemilattice; Probability measure; Pseudometric; Płonka sum
File in questo prodotto:
File Dimensione Formato  
States.pdf

accesso aperto

Tipologia: versione editoriale
Dimensione 604.75 kB
Formato Adobe PDF
604.75 kB Adobe PDF Visualizza/Apri

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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/322443
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact