Introduction to Relation Algebras

DOI10.1007/978-3-319-65235-1zbMath1426.03001OpenAlexW2750622564WikidataQ126371997 ScholiaQ126371997MaRDI QIDQ5364875

Steven Givant

Publication date: 28 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-65235-1

zbMATH Keywords

idealrelation algebracongruencesubalgebracalculus of relations

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Subalgebras, congruence relations (08A30) Structure theory of algebraic structures (08A05) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (20)

Expressive power and succinctness of the positive calculus of binary relations ⋮ Relation algebras and groups ⋮ Coset relation algebras ⋮ Residuation in existential graphs ⋮ Expressive Power and Succinctness of the Positive Calculus of Relations ⋮ FINITE RELATION ALGEBRAS ⋮ Edge colourings and qualitative representations of chromatic algebras ⋮ Representable and diagonally representable weakening relation algebras ⋮ Second-order properties of undirected graphs ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ A representation theorem for measurable relation algebras with cyclic groups ⋮ THE VARIETY OF COSET RELATION ALGEBRAS ⋮ A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over \(\mathbb{Z} / p \mathbb{Z}\) ⋮ A representation theorem for measurable relation algebras ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ Varieties of semiassociative relation algebras and tense algebras ⋮ Varieties generated by completions ⋮ Canonical Relativized Cylindric Set Algebras and Weak Associativity ⋮ Tarskian Classical Relevant Logic ⋮ Beth Definability in the Logic KR

This page was built for publication: Introduction to Relation Algebras