A sequent calculus for relation algebras
- 31 October 1983
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 25 (1) , 73-101
- https://doi.org/10.1016/0168-0072(83)90055-6
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Some varieties containing relation algebrasTransactions of the American Mathematical Society, 1982
- Upper Bounds for Proof‐Search in a Sequent Calculus for Relational EquationsMathematical Logic Quarterly, 1982
- A proof system for the first-order relational calculusJournal of Computer and System Sciences, 1980
- On representable relation algebras.The Michigan Mathematical Journal, 1964
- Boolean Algebras with OperatorsAmerican Journal of Mathematics, 1952
- On the calculus of relationsThe Journal of Symbolic Logic, 1941