Comer, Stephen D. A new foundation for the theory of relations. (English) Zbl 0476.03061 Notre Dame J. Formal Logic 24, 181-187 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 4 Documents MSC: 03G25 Other algebras related to logic 08A02 Relational systems, laws of composition 20L05 Groupoids (i.e. small categories in which all morphisms are isomorphisms) Keywords:relation algebras; multivalued algebraic systems; polygroupoids PDF BibTeX XML Cite \textit{S. D. Comer}, Notre Dame J. Formal Logic 24, 181--187 (1983; Zbl 0476.03061) Full Text: DOI