Some algebraic theory for many-valued relation algebras
type: Item
instance of: scholarly article
title: Some algebraic theory for many-valued relation algebras
zbMATH Open document ID: 1118.03061
author: Andrei Popescu
published in: Algebra Universalis
publication date: 2007-04-02T00:00:00Z
review text: Relation algebras were introduced in 1948 by Jónsson and Tarski as models of binary relations. Their applications range from the most abstract areas of mathematics to programming languages. A standard example of a relation algebra \(R\) is given by the totality of binary relations over a set \(X\) equipped with Boolean operations, together with composition, converse and diagonal. A many-valued generalization of \(R\) is obtained by considering all \([0,1]\)-valued functions over the Cartesian product \(X\times X\), endowed with the appropriate MV-algebraic operations. The resulting ``MV-relation algebras'' are studied in this paper. Basic examples are introduced, a special class of ``ideal'' elements is used to prove many results about congruences. The MV-algebra of ideal elements is used to characterize special classes of MV-relation algebras. Generalizing previous work by El Bachraoui and Van de Vel, the author proves that MV-relation algebras form an elementary class.
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 06D35
zbMATH DE Number: 5139583
zbMATH Keywords: MV-algebra
zbMATH Keywords: relation algebra
zbMATH Keywords: elementary class
zbMATH Keywords: ideal element
reviewed by: Daniele Mundici
MaRDI profile type: MaRDI publication profile
full work available at URL: s00012-007-1995-3
OpenAlex ID: W2004062172
DOI: 10.1007/S00012-007-1995-3
description: scientific article; zbMATH DE number 5139583