Generating the variety of BL-algebras

DOI10.1007/s00500-004-0450-zzbMath1093.03039OpenAlexW2083395305MaRDI QIDQ816867

Franco Montagna

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-0450-z

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items

A Note on Saturated Models for Many-Valued Logics ⋮ Obituary: Franco Montagna (1948--2015) ⋮ A Kripke Semantics for Hajek's BL ⋮ Single chain completeness and some related properties ⋮ MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions ⋮ Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ A Note on Drastic Product Logic ⋮ A temporal semantics for basic logic ⋮ Standard completeness of Hájek basic logic and decompositions of BL-chains

Cites Work

• Unnamed Item
• Ideals in universal algebras
• On subtractive varieties. III: From ideals to congruences
• Metamathematics of fuzzy logic
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• On the structure of hoops
• A classification of BL-algebras
• Basic hoops: an algebraic study of continuous t-norms
• Decomposition of BL-chains
• Algebraic Analysis of Many Valued Logics
• Algebraizable logics