Algebraic foundations for qualitative calculi and networks

Robin Hirsch, Marcel Jackson, Tomasz Kowalski

A qualitative representation $\varphi$ is like an ordinary representation of a relation algebra, but instead of requiring $(a;b{)}^{\varphi }=a^{\varphi }|b^{\varphi }$, as we do for ordinary representations, we…