Standard completeness of Hájek basic logic and decompositions of BL-chains

DOI10.1007/S00500-004-0444-XzbMath1094.03013OpenAlexW1976229082MaRDI QIDQ816859

Roberto L. O. Cignoli, Antoni Torrens Torrell

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-0444-x

zbMATH Keywords

surveycontinuous t-normsdecompositions of totally ordered BL-algebras

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Related Items (7)

Fuzzy \(n\)-fold obstinate filters in BL-algebras ⋮ Fuzzy logics based on \([0,1)\)-continuous uninorms ⋮ Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic ⋮ Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Commutative integral bounded residuated lattices with an added involution ⋮ Structural completeness in many-valued logics with rational constants

Cites Work

• Unnamed Item
• Unnamed Item
• On the structure of semi-groups on a compact manifold with boundary
• Generating the variety of BL-algebras
• Metamathematics of fuzzy logic
• Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
• Free algebras in varieties of BL-algebras with a Boolean retract.
• Varieties of BL-algebras. I: General properties.
• On the structure of hoops
• A complete many-valued logic with product-conjunction
• Algebraizable logics
• Free algebras in varieties of BL-algebras generated by a BL_n-chain

This page was built for publication: Standard completeness of Hájek basic logic and decompositions of BL-chains