Relation algebras of every dimension

DOI10.2307/2275365zbMath0778.03022OpenAlexW2084388215MaRDI QIDQ4032659

Roger D. Maddux

Publication date: 1 April 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275365

zbMATH Keywords

sequent calculuscomplexity of proofsfinite relation algebra\(n\)- provable equationsDe Morgan-Peirce-Schröder calculus of relationsprovability with finitely many variables

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Complexity of proofs (03F20)

Related Items

Weak representations of relation algebras and relational bases ⋮ Finite, integral, and finite-dimensional relation algebras: A brief history ⋮ Relation algebras from cylindric algebras. I ⋮ Relation algebras from cylindric algebras. II ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi

Cites Work

• Relation algebras and projective geometries
• A sequent calculus for relation algebras
• Cylindric algebras. Part II
• On representable relation algebras
• Representations of integral relation algebras
• The representation of relational algebras
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators