Many-valued relation algebras

DOI10.1007/S00012-005-1916-2MaRDI QIDQ2577714zbMATH OpenOpenAlexFDO

Authors Andrei Popescu

Publication date 6 January 2006

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-005-1916-2

zbMATH Keywords

BL-algebragroup relation algebraMV-algebra

Mathematics Subject Classification ID

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

Review text

Jónsson and Tarski introduced relation algebras in 1948 as algebraic models of binary relations. Relation algebras have a wide range of applications, ranging from the most abstract areas of mathematics to programming languages. To fix ideas, a concrete 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\), with the appropriate MV-algebraic operations. The author considers more general structures, e.g., relation algebras based on Hájek's basic algebras, group relation algebras and ``complex algebras: the latter are a significant class of relation algebras, because every relation algebra is embeddable in a complex algebra. Various generalizations of the classical results on relation algebras are proved for these larger classes.

Recommendations

• Some algebraic theory for many-valued relation algebras
• Łukasiewicz-Moisil relation algebras
• scientific article; zbMATH DE number 1453810
• On the algebraic structure of binary lattice-valued fuzzy relations
• Relation algebras as expanded FL-algebras

Cited in

(19)

• The origin of relation algebras in the development and axiomatization of the calculus of relations
• The algebra of many-valued quantities
• Relation algebras as expanded FL-algebras
• On the algebraic structure of binary lattice-valued fuzzy relations
• Relation algebras with \(n\)-dimensional relational bases
• Representing lattices using many-valued relations
• Relation Algebras, Matrices, and Multi-valued Decision Diagrams
• scientific article; zbMATH DE number 5010245 (Why is no real title available?)
• Functional many-valued relations
• scientific article; zbMATH DE number 3968584 (Why is no real title available?)
• scientific article; zbMATH DE number 4037865 (Why is no real title available?)
• Relation algebra with multi-relations
• 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
• Representations of the Extensions of Many-Valued Equivalence Relations
• Transporting many-valued sets along many-valued relations
• Relation algebras
• Some algebraic theory for many-valued relation algebras

This page was built for publication: Many-valued relation algebras

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