On the variety of \(m\)-generalized Łukasiewicz algebras of order \(n\)
type: Item
instance of: scholarly article
title: On the variety of \(m\)-generalized Łukasiewicz algebras of order \(n\)
zbMATH Open document ID: 1200.03048
author: Júlia Vaz de Carvalho
published in: Studia Logica
publication date: 2010-04-26T00:00:00Z
review text: The paper is well written and very nice. The variety \({\mathcal L}_n^m\) of \(m\)-generalized Łukasiewicz algebras of order \(n\) (introduced by \textit{T. Almada} and the author [Stud. Log. 69, No.~3, 329--338 (2001; Zbl 0995.03047)] contains the variety \({\mathcal L}_n\) of Łukasiewicz (Łukasiewicz-Moisil) algebras of order \(n\) (\(m,n \in {\mathbb N}, \; n \geq 2\)). For \({\mathbf A}=(A; \wedge, \vee, f, D_1, \dots, D_{n-1},0,1) \in {\mathcal L}^m_n\), the set \(S_A=\{x \in A \mid f^2(x)=x\}\) is the universe of \({\mathbf S_A}\), the greatest subalgebra of \({\mathbf A}\) which belongs to \({\mathcal L}_n\). The author describes the congruences on \({\mathbf A} \in {\mathcal L}^m_n\) via the Stone filters of \({\mathbf S_A} \in {\mathcal L}_n\), finds a finite set of polynomial equations that give equationally definable principal congruences for \({\mathcal L}^m_n\) and characterizes the principal congruences on \({\mathbf A}\) via the principal Stone filters of \({\mathbf S_A}\). Next, the author proves that \({\mathcal L}^m_n={\mathcal L}_n\) if and only if \(m=1\) or \(n=2\), and that \({\mathcal L}^m_n\) is a discriminator variety; consequently, the variety \({\mathcal L}^m_n\) is congruence-permutable, congruence-regular, congruence-uniform, congruence-coherent and filtral. Finally, the variety \({\mathcal L}^m_n\) is finitely generated.
reviewed by: Afrodita Iorgulescu
Mathematics Subject Classification ID: 03G20
Mathematics Subject Classification ID: 06B20
Mathematics Subject Classification ID: 06D30
Mathematics Subject Classification ID: 08A30
zbMATH DE Number: 5701679
zbMATH Keywords: Łukasiewicz algebra of order \(n\)
zbMATH Keywords: \(m\)-generalized Łukasiewicz algebra
zbMATH Keywords: discriminator variety
zbMATH Keywords: congruences
MaRDI profile type: Publication
full work available at URL: s11225-010-9236-8
OpenAlex ID: W2090275334
cites work: A generalization of the Łukasiewicz algebras
cites work: Distributive lattices with an additional unary operation
cites work: Q4308745
cites work: Q3934450
cites work: Q5613920
cites work: Para primal algebras
cites work: Distributive lattices with a dual homomorphic operation
DOI: 10.1007/S11225-010-9236-8
Recommended article: Q3778042
Recommended article: A generalization of the Łukasiewicz algebras
Recommended article: Q5411480
Recommended article: Monadic n$\times$m-valued Lukasiewicz-Moisil algebras
Recommended article: A new topological duality for n × m-valued Łukasiewicz–Moisil algebras
Recommended article: On \(n \times m\)-valued Łukasiewicz-Moisil algebras
Recommended article: Q5439799
Recommended article: A generalization of monadic \(n\)-valued Łukasiewicz algebras
Recommended article: Q3377759
Recommended article: Notes onn×m-valued Łukasiewicz Algebras with Negation
description: scientific article; zbMATH DE number 5701679