Weakly associative relation algebras hold the key to the universe
Tomasz Kowalski · ANU Open Research (Australian National University) · 2007
Maddux observed a tantalisingly close connection between certain relation algebras and relevant logics R and RM. He asks whether this connection amounts to full interpretability. Although unable to answer that question, we prove that a version of positive minimal relevant logic B is fully interpretable in the variety of weakly associative relation algebras.