A sequent calculus for relation algebras
From MaRDI portal
Publication:786804
DOI10.1016/0168-0072(83)90055-6zbMATH Open0528.03016OpenAlexW2086495064MaRDI QIDQ786804FDOQ786804
Publication date: 1983
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(83)90055-6
Recommendations
Other model constructions (03C30) Cut-elimination and normal-form theorems (03F05) Models of other mathematical theories (03C65) Cylindric and polyadic algebras; relation algebras (03G15)
Cites Work
- Boolean Algebras with Operators
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On representable relation algebras
- Some Varieties Containing Relation Algebras
- Title not available (Why is that?)
- Upper Bounds for Proof‐Search in a Sequent Calculus for Relational Equations
- Splitting in Relation Algebras
- A proof system for the first-order relational calculus
Cited In (29)
- On varieties of cylindric algebras with applications to logic
- A Completeness Result for Relation Algebra with Binders
- Relation algebras of every dimension
- Sequent calculi and quasivarieties
- Weak representations of relation algebras and relational bases
- Dynamic logic with program specifications and its relational proof system
- Axiomatization of identity-free equations valid in relation algebras
- Algebraic Logic, Where Does it Stand Today?
- Tarskian Classical Relevant Logic
- Pair-Dense Relation Algebras
- Language in action
- Subcompletions of representable relation algebras
- Relation algebras from cylindric algebras. I
- Representable and diagonally representable weakening relation algebras
- Relation algebras from cylindric algebras. II
- Finite, integral, and finite-dimensional relation algebras: A brief history
- Necessary subalgebras of simple nonintegral semiassociative relation algebras
- Relational characterisations of paths
- Algebraization of quantifier logics, an introductory overview
- An efficient relational deductive system for propositional non-classical logics
- Peirce algebras
- Strongly representable atom structures of relation algebras
- On Automating the Calculus of Relations
- On canonicity and completions of weakly representable relation algebras
- Varieties of semiassociative relation algebras and tense algebras
- Nonfinite axiomatizability results for cylindric and relation algebras
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS
- On a Graph Calculus for Algebras of Relations
- Canonical varieties with no canonical axiomatisation
This page was built for publication: A sequent calculus for relation algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q786804)
