Relation algebras as residuated Boolean algebras

Some varieties containing relation algebras

Roger D. Maddux · Transactions of the American Mathematical Society · 1982 · 153 citations · Full text

Natural Sciences, Mathematics, Algebra +9

Louise H. Chin and Alfred Tarski. Distributive and modular laws in the arithmetic of relation algebras. University of California publications in mathematics, n.s. vol. 1 no. 9 (1951), pp. 341–384.

J Büchi · Journal of Symbolic Logic · 1953 · 148 citations

Natural Sciences, Mathematics, Algebra +4

The weakest prespecification

C. A. R. Hoare, Jifeng He · Information Processing Letters · 1987 · 147 citations

The Concept of Join System and Its Basic Properties

Walter Prenowitz · American Mathematical Monthly · 1961 · 25 citations

Computing, Computer Science, Computer Systems +12

The Weakest Prespecification, Part II

C.A.R. Hoare, He Jifeng · Fundamenta Informaticae · 1986 · 20 citations

Law, Constitutional Law, Separation Of Powers +1