Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
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…
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…