A classification of BL-algebras
type: Item
instance of: scholarly article
title: A classification of BL-algebras
zbMATH Open document ID: 1013.03072
DOI: 10.1016/S0165-0114(02)00051-9
author: Yvonne V. Shashoua
author: M. C. Laskowski
published in: Fuzzy Sets and Systems
publication date: 2003-04-02T00:00:00Z
review text: 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.
reviewed by: Salvatore Sessa
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 1891645
zbMATH Keywords: ordered Abelian semigroups
zbMATH Keywords: BL-chain
zbMATH Keywords: tower of basic forms
zbMATH Keywords: decidability
MaRDI profile type: Publication
cites work: Complexity of t-tautologies
cites work: A New Proof of the Completeness of the Lukasiewicz Axioms
cites work: Q5509706
cites work: Metamathematics of fuzzy logic
cites work: Q4003410
cites work: On the structure of semi-groups on a compact manifold with boundary
cites work: Elementary Properties of Ordered Abelian Groups
cites work: Mathematics behind fuzzy logic
full work available at URL: s0165-0114(02)00051-9
OpenAlex ID: W2079653005
description: scientific article; zbMATH DE number 1891645