Algebras of Relations and Relevance Logic
Szabolcs Mikulás · Journal of Logic and Computation · 2008
We prove that algebras of binary relations whose similarity type includes intersection, composition, converse negation and the identity constant form a non-finitely axiomatizable quasivariety and that the equational theory is not finitely based. We apply this result to the problem of the completeness of relevant logic with respect to binary relations.