A representation theorem for a class of BL-algebras with finite spectrum is presented. Although the class comprised by our result is not the whole class of BL-algebras with finite spectrum, it applies to some important classes such as finite BL-algebras and BL-chains with finite spectrum among others. Our representation constitutes a generalization of the ordinal sum construction, since we decompose each algebra in terms of totally ordered Wajsberg hoops.

Representation of BL-algebras with finite independent spectrum / S. Aguzzoli, M. Busaniche, J.L. Castiglioni, N. Lubomirsky. - In: FUZZY SETS AND SYSTEMS. - ISSN 0165-0114. - 311:(2017), pp. 15-32. [10.1016/j.fss.2016.09.002]

Representation of BL-algebras with finite independent spectrum

S. Aguzzoli
Primo
;
2017

Abstract

A representation theorem for a class of BL-algebras with finite spectrum is presented. Although the class comprised by our result is not the whole class of BL-algebras with finite spectrum, it applies to some important classes such as finite BL-algebras and BL-chains with finite spectrum among others. Our representation constitutes a generalization of the ordinal sum construction, since we decompose each algebra in terms of totally ordered Wajsberg hoops.
BL-algebras; residuated lattices; Poset product; Wajsberg hoops
Settore MAT/01 - Logica Matematica
Settore INF/01 - Informatica
2017
Article (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

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/2434/444761
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact