论文信息 - Relation algebras as residuated Boolean algebras - 字舞流文

Relation algebras as residuated Boolean algebras

Bjarni Jónsson | Constantine Tsinakis

[1] R. Maddux. Some varieties containing relation algebras , 1982 .

[2] Alfred Tarski,et al. Distributive and Modular Laws in the Arithmetic of Relation Algebras , 1953 .

[3] The Concept of Join System and Its Basic Properties , 1961 .

[4] C. A. R. Hoare,et al. The Weakest Prespecification , 1987, Information Processing Letters.