BL-algebras are the algebraic semantics for Hájek’s Basic Logic BL, the logic of all continuous t-norms and their residua. Every BL-chain can be decomposed (up to isomorphism) as an ordinal sum of non-trivial Wajsberg hoops - called components - with the first bounded. In this paper we study the amalgamation property for the varieties of BL-algebras generated by one BL-chain with finitely many components.

Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components / S. Aguzzoli, M. Bianchi (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Relational and Algebraic Methods in Computer Science / [a cura di] U. Fahrenberg, M. Gehrke, L. Santocanale, M. Winter. - Prima edizione. - [s.l] : Springer, 2021. - ISBN 978-3-030-88700-1. - pp. 1-18 (( Intervento presentato al 19. convegno International Conference on Relational and Algebraic Methods in Computer Science tenutosi a Marseille nel 2021 [10.1007/978-3-030-88701-8_1].

Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components

S. Aguzzoli;M. Bianchi
2021

Abstract

BL-algebras are the algebraic semantics for Hájek’s Basic Logic BL, the logic of all continuous t-norms and their residua. Every BL-chain can be decomposed (up to isomorphism) as an ordinal sum of non-trivial Wajsberg hoops - called components - with the first bounded. In this paper we study the amalgamation property for the varieties of BL-algebras generated by one BL-chain with finitely many components.
BL-algebras; Hoops; Amalgamation property; Ordinal sums; Lattices of varieties
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
Settore MAT/02 - Algebra
2021
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
Aguzzoli-Bianchi2021_Chapter_AmalgamationPropertyForVarieti.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 274.83 kB
Formato Adobe PDF
274.83 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
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/899215
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 2
social impact