algebra universalis

, Volume 30, Issue 4, pp 469–478

Relation algebras as residuated Boolean algebras

  • Bjarni Jónsson
  • Constantine Tsinakis


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Birkhoff, G.,Lattice Theory, Amer. Math. Soc. Colloq. Publ. vol. 25, 3rd ed., 1967.Google Scholar
  2. [2]
    Chin, L. H. andTarski, A.,Distributive and modular laws in the arithmetic of relation algebras, Univ. Calif. Publ. Math.1 (1951), 341–384.Google Scholar
  3. [3]
    Hoare, C. A. R. andJifeng, H.,The weakest prespecification, Part II, Fundamenta Informaticae9 (1986), 217–252.Google Scholar
  4. [4]
    Maddux, R.,Some varieties containing relation algebras, Trans. Amer. Math. Soc.272 (1982), 501–526.Google Scholar
  5. [5]
    Prenowitz, W.,A contemporary approach to classical geometry, The Amer. Math. Monthly68 (No. 1, Part II) (1961), 1–67.Google Scholar

Copyright information

© Birkhäuser Verlag 1993

Authors and Affiliations

  • Bjarni Jónsson
    • 1
  • Constantine Tsinakis
    • 1
  1. 1.Department of MathematicsVanderbilt UniversityNashvilleUSA

Personalised recommendations