Some algebraic theory for many-valued relation algebras

DOI10.1007/S00012-007-1995-3MaRDI QIDQ873744zbMATH OpenOpenAlexFDO

Authors Andrei Popescu

Publication date 2 April 2007

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-007-1995-3

zbMATH Keywords

elementary classideal elementMV-algebrarelation algebra

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) MV-algebras (06D35)

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.

Recommendations

• Many-valued relation algebras
• Łukasiewicz-Moisil relation algebras
• Relation algebras as expanded FL-algebras
• Relation algebras
• On the algebraic structure of binary lattice-valued fuzzy relations

Cited in

(13)

• A perspective on the theory of relation algebras
• The algebra of many-valued quantities
• Relation algebras as expanded FL-algebras
• On the algebraic structure of binary lattice-valued fuzzy relations
• Many-valued relation algebras
• Review: The algebraic relational theory and its applications
• Relation lifting, a survey
• Functional many-valued relations
• scientific article; zbMATH DE number 3968584 (Why is no real title available?)
• scientific article; zbMATH DE number 1057709 (Why is no real title available?)
• Relation algebras, idempotent semirings and generalized bunched implication algebras
• Dedekind categories with cutoff operators
• Łukasiewicz-Moisil relation algebras

This page was built for publication: Some algebraic theory for many-valued relation algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q873744)