A new foundation for the theory of relations.
Stephen D. Comer · Notre Dame Journal of Formal Logic · 1983
Relation algebras are characterized using certain multivalued algebraic systems called polygroupoids.The connection between these concepts provides a basis for an alternative to the usual approach to the study of relations.Examples of polygroupoids are given as well as an application to the theory of relations.