A classification of BL-algebras

DOI10.1016/S0165-0114(02)00051-9zbMath1013.03072OpenAlexW2079653005MaRDI QIDQ1867635

Yvonne V. Shashoua, Michael Chris Laskowski

Publication date: 2 April 2003

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0165-0114(02)00051-9

zbMATH Keywords

decidabilityBL-chainordered Abelian semigroupstower of basic forms

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) MV-algebras (06D35)

Related Items (6)

Provability in predicate product logic ⋮ Ordinal sums: from triangular norms to bi- and multivariate copulas ⋮ The decomposition of linearly ordered pseudo-hoops ⋮ Inflationary BL-algebras obtained from 2-dimensional general overlap functions ⋮ Varieties of BL-algebras ⋮ Generating the variety of BL-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• On the structure of semi-groups on a compact manifold with boundary
• Mathematics behind fuzzy logic
• Metamathematics of fuzzy logic
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Elementary Properties of Ordered Abelian Groups
• Complexity of t-tautologies

This page was built for publication: A classification of BL-algebras