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;
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.
| 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.
