Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components
From MaRDI portal
Publication:6174409
DOI10.1007/978-3-031-28083-2_1MaRDI QIDQ6174409
Stefano Aguzzoli, Matteo Bianchi
Publication date: 17 August 2023
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Cites Work
- Unnamed Item
- \(n\)-contractive BL-logics
- Quantifier elimination and other model-theoretic properties of BL-algebras
- Single chain completeness and some related properties
- Metamathematics of fuzzy logic
- Varieties of BL-algebras. I: General properties.
- Algebraic foundations of many-valued reasoning
- One chain generated varieties of MV-algebras
- Strictly join irreducible varieties of BL-algebras: the missing pieces
- Amalgamation and interpolation in ordered algebras.
- On linear varieties of MTL-algebras
- Basic hoops: an algebraic study of continuous t-norms
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components
- Algebraizable logics
- Hoops and Fuzzy Logic
This page was built for publication: Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components
