Relation algebras of Sugihara, Belnap, Meyer, and Church

Richard L. Kramer, Roger D. Maddux

Algebras introduced by, or attributed to, Sugihara, Belnap, Meyer, and Church are representable as algebras of binary relations with set-theoretically defined operations. They are…