Finite model property and varieties of BL-algebras (Q2233195)
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 7409979
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Finite model property and varieties of BL-algebras |
scientific article; zbMATH DE number 7409979 |
Statements
Finite model property and varieties of BL-algebras (English)
0 references
15 October 2021
0 references
The notion of BL-algebras was introduced by \textit{P. Hájek} [Metamathematics of fuzzy logic. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)] as the algebraic semantics of the basic logic BL, the logic of all continuous t-norms and their residua. A variety of BL-algebras has the finite model property, if it is generated by its finite chains. The paper mainly studies the finite model property for varieties of BL-algebras. The complete classification of the finite model property for those varieties of BL-algebras which are generated by a finite class of chains with finitely-many components is given. For the entire collection see [Zbl 1470.68020].
0 references
monadic \(n\)-valued Lukasiewicz algebras
0 references
\(m\)-generalized Lukasiewicz algebras of order \(n\)
0 references
congruences
0 references
subdirectly irreducible algebras
0 references
discriminator variety
0 references
functional representation
0 references
\(ML_n^m\)-algebra of fractions
0 references
maximal \(ML_n^m\)-algebra of fractions
0 references
0 references
0.8493587970733643
0 references
0.8327410817146301
0 references
0.8327410817146301
0 references
0.8271237015724182
0 references
0.8221240639686584
0 references
