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 the normal view instead:
scientific article; zbMATH DE number 1891645
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8105847835540771
0 references
0.8085634708404541
0 references
0.8085634708404541
0 references
0.7959161996841431
0 references
0.7940793633460999
0 references
