Finite model property and varieties of BL-algebras

DOI10.1007/978-3-030-74970-5_4zbMath1501.06001OpenAlexW3196049476MaRDI QIDQ2233195

Stefano Aguzzoli, Matteo Bianchi

Publication date: 15 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-74970-5_4

zbMATH Keywords

congruencesdiscriminator varietyfunctional representationsubdirectly irreducible algebras\(m\)-generalized Lukasiewicz algebras of order \(n\)\(ML_n^m\)-algebra of fractionsmaximal \(ML_n^m\)-algebra of fractionsmonadic \(n\)-valued Lukasiewicz algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35)

Related Items (1)

Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components

Cites Work

• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Metamathematics of fuzzy logic
• Varieties of BL-algebras. I: General properties.
• One chain generated varieties of MV-algebras
• Strictly join irreducible varieties of BL-algebras: the missing pieces
• Basic hoops: an algebraic study of continuous t-norms
• Algebraizable logics

This page was built for publication: Finite model property and varieties of BL-algebras