Łukasiewicz-Moisil relation algebras
type: Item
instance of: scholarly article
title: Łukasiewicz-Moisil relation algebras
zbMATH Open document ID: 1102.03063
author: Andrei Popescu
published in: Studia Logica
publication date: 2006-03-17T00:00:00Z
review text: Let \(n\) be a fixed finite positive integer. An \textsl{\(n\)-valued Łukasiewicz-Moisil algebra} is a bounded distributive lattice together with a unary operation that satisfies the De~Morgan law and \(n\) unary operations that are lattice endomorphisms and satisfy several additional postulates. Łukasiewicz-Moisil algebras generalize Boolean algebras. They are algebraic counterparts of Łukasiewicz's multi-valued logics, just as Boolean algebras correspond to 2-valued logic. A relation algebra is, by definition, a Boolean algebra with some additional operations that satisfy a few postulates. By replacing ``Boolean algebra'' in this definition with ``Łukasiewicz-Moisil algebra'', one obtains the definition of ``Łukasiewicz-Moisil relation algebra.'' One may also similarly generalize the definition of \(\text{Rel}(X)\) (the relation algebra of all binary relations on the set \(X\)), obtaining the concrete Łukasiewicz-Moisil relation algebra \(\text{MRel}(X)\). From any ternary relation \(T\) one can construct the complex algebra \(\text{CA}(T)\), which will be a relation algebra if \(T\) has suitable properties. This construction can be similarly generalized, resulting in \(\text{MCA}(T)\), called the \textsl{many-valued complex algebra} of \(T\). Several theorems from the elementary theory of relation algebras still hold in this new setting. For example, a Łukasiewicz-Moisil relation algebra is simple iff it if directly (or subdirectly) indecomposable, and every Łukasiewicz-Moisil relation algebra is isomorphic to a subalgebra of a complex algebra of a particular ternary relation on the ultrafilters of the underlying Łukasiewicz-Moisil algebra. Categorical properties of Łukasiewicz-Moisil relation algebras and their connections with Post algebras and with matrix relation algebras are also investigated.
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 03G20
zbMATH DE Number: 5013024
zbMATH Keywords: Lukasiewicz-Moisil algebra
zbMATH Keywords: relation algebra
zbMATH Keywords: complex algebra
reviewed by: Roger Maddux
MaRDI profile type: Publication
full work available at URL: s11225-005-3703-7
OpenAlex ID: W2002858412
cites work: Matrix relation algebras.
cites work: Degree of matrix relation algebras.
cites work: Q5841991
cites work: Algebraic Analysis of Many Valued Logics
cites work: Q5810602
cites work: Q5613920
cites work: Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
cites work: The Lattice Theory of Post Algebras
cites work: On the characterization of centered Lukasiewicz algebras
cites work: Metamathematics of fuzzy logic
cites work: Relation algebras by games
cites work: Boolean Algebras with Operators. Part I
cites work: Some sufficient conditions for the representability of relation algebras
cites work: Nonfinite axiomatizability results for cylindric and relation algebras
cites work: Some Varieties Containing Relation Algebras
cites work: Q3708022
cites work: Q5779178
cites work: Q5780096
cites work: Q5650376
cites work: Some algebraic theory for many-valued relation algebras
cites work: Post Algebras. I. Postulates and General Theory
DOI: 10.1007/S11225-005-3703-7
Recommended article: Lukasiewicz-Moisil algebras
Recommended article: Q4893001
Recommended article: Q3553861
Recommended article: A generalization of the Łukasiewicz algebras
Recommended article: On \(n \times m\)-valued Łukasiewicz-Moisil algebras
Recommended article: Motzkin algebras
Recommended article: Q3778042
Recommended article: A common generalization for MV-algebras and Łukasiewicz-Moisil algebras
Recommended article: Q4362875
Recommended article: Relation algebras
description: scientific article; zbMATH DE number 5013024