A classification of BL-algebras (Q1867635)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A classification of BL-algebras |
scientific article; zbMATH DE number 1891645
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A classification of BL-algebras |
scientific article; zbMATH DE number 1891645 |
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
