Finiteness based results in BL-algebras
type: Item
instance of: scholarly article
title: Finiteness based results in BL-algebras
zbMATH Open document ID: 1092.03037
published in: Soft Computing
publication date: 2006-03-02T00:00:00Z
review text: This paper is a survey of results contained in the works of the authors [Discrete Math. 269, No. 1--3, 93--112 (2003; Zbl 1025.06008)] and of the first author and \textit{P. Niederkorn} [Arch. Math. Logic 44, No. 8, 995--1007 (2005; Zbl 1087.06005)]. \textit{P. Aglianò} and \textit{F. Montagna} [J. Pure Appl. Algebra 181, No. 2--3, 105--129 (2003; Zbl 1034.06009)] have shown that every finite BL-chain is a finite ordinal sum of finite MV-chains. Extending the concept of ordinal sum of BL-algebras, the authors introduce the class of the BL-comets, which is seen as a generalization of the class of the finite BL-algebras. Indeed they prove that any finite BL-algebra is a direct product of BL-comets, so extending the related result for MV-algebras (see, for instance, the book [\textit{R. L. O. Cignoli, I. M. L. D'Ottaviano} and \textit{D. Mundici}, Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)]). Afterwards, the authors consider the varietes generated by one non-trivial finite BL-chain and they show the existence of a strong duality for these varieties, so obtaining extensions of results of \textit{B. A. Davey} [Trans. Am. Math. Soc. 221, 119--146 (1976; Zbl 0319.06007)] for varieties generated by one finite Heyting chain, and of \textit{P. Niederkorn} [J. Math. Anal. Appl. 255, No. 1, 58--73 (2001; Zbl 0974.06006)] for varieties generated by one finite MV-chain.
reviewed by: Salvatore Sessa
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 03-02
zbMATH DE Number: 5009487
zbMATH Keywords: BL-algebra
zbMATH Keywords: strong duality
zbMATH Keywords: survey
author: Antonio Di Nola
author: Ada Lettieri
MaRDI profile type: Publication
full work available at URL: s00500-004-0447-7
OpenAlex ID: W2085845884
cites work: Varieties of BL-algebras. I: General properties.
cites work: Q4083730
cites work: Q5841991
cites work: Algebraic Analysis of Many Valued Logics
cites work: A New Proof of the Completeness of the Lukasiewicz Axioms
cites work: Q4220406
cites work: Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
cites work: Q4179057
cites work: Finite BL-algebras
cites work: Natural dualities for varieties of BL-algebras
cites work: Residually small varieties
cites work: Q4506244
DOI: 10.1007/S00500-004-0447-7
Recommended article: Finite BL-algebras
Recommended article: Finite model property and varieties of BL-algebras
Recommended article: Some results in BL -algebras
Recommended article: Q3145296
Recommended article: Q3023678
Recommended article: Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
Recommended article: A classification of BL-algebras
Recommended article: Finitely axiomatizable varieties of BCK-algebras
Recommended article: Q4583679
Recommended article: A new class of BL-algebras
description: scientific article; zbMATH DE number 5009487