Varieties of BL-algebras
From MaRDI portal
Publication:816863
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
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
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
