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 definitional reducts or subreducts of proper relation algebras. The representability of Sugihara matrices yields sound and complete set-theoretical semantics for $\mathsf{\text{R}}$-mingle.

中文翻译：

---

Sugihara，Bernap，Meyer和Church的关系代数

Sugihara，Bernap，Meyer和Church引入或归因于Sugehara，Bernap，Meyer和Church的代数可表示为具有集合理论定义的运算的二元关系代数。它们是适当关系代数的定义式简化或子简化。Sugihara矩阵的可表示性产生了健全且完整的集合理论语义$\mathsf{\text{[R}}$-交融。