Switch to: Citations

Add references

You must login to add references.
  1. A sequent calculus for relation algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.
  • Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.