The authors define ``basic forms, a suitable class of ordered Abelian semigroups, and prove that any BL-chain has a tower of basic forms naturally associated, which, in turn, yields a BL-chain. Using this representation, the authors classify finite and finitely universal BL-chains, from which they deduce, among others, the decidability of the set of BL-tautologies.
Recommendations
Cites work
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Complexity of t-tautologies
- Elementary Properties of Ordered Abelian Groups
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 3222127 (Why is no real title available?)
- Mathematics behind fuzzy logic
- Metamathematics of fuzzy logic
- On the structure of semi-groups on a compact manifold with boundary
Cited in
(14)- Finite BL-algebras
- The decomposition of linearly ordered pseudo-hoops
- Representation of BL-algebras with finite independent spectrum
- Inflationary BL-algebras obtained from 2-dimensional general overlap functions
- Finite model property and varieties of BL-algebras
- scientific article; zbMATH DE number 5568035 (Why is no real title available?)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains
- scientific article; zbMATH DE number 5244441 (Why is no real title available?)
- Ordinal sums: from triangular norms to bi- and multivariate copulas
- Varieties of BL-algebras
- Finiteness based results in BL-algebras
- Sheaf representations of BL-algebras
- Generating the variety of BL-algebras
- Provability in predicate product logic
This page was built for publication: A classification of BL-algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1867635)
