3 papers
cs.LO2024
Diagonals and Block-Ordered Relations
Roland Backhouse, Ed Voermans
More than 70 years ago, Jaques Riguet suggested the existence of an ``analogie frappante'' (striking analogy) between so-called ``relations de Ferrers'' and a class of difunctional…
cs.LO2024
The Thins Ordering on Relations
Ed Voermans, Jules Desharnais, Roland Backhouse
Earlier papers \cite{VB2022,VB2023a,VB2023b} introduced the notions of a core and an index of a relation (an index being a special case of a core). A limited form of the axiom of c…
cs.LO2023
The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra
Roland Backhouse, Ed Voermans
We introduce the general notions of an index and a core of a relation. We postulate a limited form of the axiom of choice -- specifically that all partial equivalence relations hav…