Varieties of BL-algebras

DOI10.1007/S00500-004-0446-8zbMath1092.03036OpenAlexW1989354045MaRDI QIDQ816863

Franco Montagna, Antonio Di Nola, Lluís Godo, Francesc Esteva

Publication date: 2 March 2006

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-004-0446-8

zbMATH Keywords

surveyBL-algebraordinal sumhoop

Mathematics Subject Classification ID

Lattices of varieties (08B15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) MV-algebras (06D35)

Related Items (8)

Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras ⋮ Obituary: Franco Montagna (1948--2015) ⋮ State BL-algebras ⋮ Strictly join irreducible varieties of BL-algebras: the missing pieces ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ A temporal semantics for basic logic ⋮ Splittings in GBL-algebras. II: The representable case

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of semi-groups on a compact manifold with boundary
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
• Wajsberg algebras and Post algebras
• Local MV-algebras
• Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
• Subvarieties of BL-algebras generated by single-component chains
• Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
• The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting
• Varieties of BL-algebras. I: General properties.
• Equational characterization of the subvarieties of BL generated by t-norm algebras
• On the structure of hoops
• A classification of BL-algebras
• Equational characterization of all varieties of MV-algebras
• Basic hoops: an algebraic study of continuous t-norms
• Equational classes of relative Stone algebras
• Algebraic Analysis of Many Valued Logics
• Super-Łukasiewicz propositional logics
• Varieties of MV-algebras
• Boolean deductive systems of BL-algebras

This page was built for publication: Varieties of BL-algebras