Finite BL-algebras (Q1402070): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0012-365x(02)00754-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2034552015 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 09:45, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite BL-algebras |
scientific article |
Statements
Finite BL-algebras (English)
0 references
19 August 2003
0 references
The notion of a BL-algebra was defined and studied by \textit{P. Hájek} [Metamathematics of fuzzy logic. Kluwer, Dordrecht (1998; Zbl 0937.03030)]. A BL-algebra is an algebraic structure \(\mathcal A=(A;\wedge, \vee,\odot, \rightarrow, 0,1)\) of type \((2,2,2,2,0,0)\) satisfying certain axioms; from these it follows that \((A;\wedge,\vee, 0,1)\) is a lattice with the least element 0 and the greatest element 1. If this lattice is a chain, then \(\mathcal A\) is said to be a BL-chain. The authors introduce the notion of a BL-comet, which is a generalization of the concept of a finite BL-chain. The main result of the paper is as follows: Each finite BL-algebra can be represented as a direct product of BL-comets. This is a generalization of the well-known result on MV-algebras saying that each finite MV-algebra is a direct product of MV-chains. It is also proved that there exists a bijection between a class of labelled trees and the class of all finite BL-algebras.
0 references
BL-algebra
0 references
BL-comet
0 references
labelled tree
0 references