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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
States.pdf
accesso aperto
Tipologia:
versione editoriale (VoR)
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.