Generalized BL-algebras, i.e. divisible residuated lattices, provide the semantics for a generalization of Basic Logic where the axiom of prelinearity does not hold. Informally, GBL-algebras generalize Heyting algebras in a similar way as MV-algebras generalize Boolean algebras. We introduce the operation of sum in finite GBL-algebras and we axiomatize the obtained finite structures, called GBL⊕-algebras. We hence define states of GBL⊕-algebras, extending MV-algebraic states, and we prove that they are determined by their restriction on the Heyting skeleton. Extremal states are also characterized in terms of densities concentrated in a unique join-prime idempotent.

States of finite GBL-algebras with monoidal sum

FLAMINIO, TOMMASO;GERLA, BRUNELLA;
2017-01-01

Abstract

Generalized BL-algebras, i.e. divisible residuated lattices, provide the semantics for a generalization of Basic Logic where the axiom of prelinearity does not hold. Informally, GBL-algebras generalize Heyting algebras in a similar way as MV-algebras generalize Boolean algebras. We introduce the operation of sum in finite GBL-algebras and we axiomatize the obtained finite structures, called GBL⊕-algebras. We hence define states of GBL⊕-algebras, extending MV-algebraic states, and we prove that they are determined by their restriction on the Heyting skeleton. Extremal states are also characterized in terms of densities concentrated in a unique join-prime idempotent.
2017
Flaminio, Tommaso; Gerla, Brunella; Marigo, Francesco
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/11383/2052403
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact