A classification of BL-algebras (Q1867635)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A classification of BL-algebras |
scientific article |
Statements
A classification of BL-algebras (English)
0 references
2 April 2003
0 references
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.
0 references
ordered Abelian semigroups
0 references
BL-chain
0 references
tower of basic forms
0 references
decidability
0 references
