Abstract

Relevance logic is ordinarily seen as a subsystem of classical logic under the translation that replaces arrows by horseshoes. If, however, we consider the arrow as an additional connective alongside the horseshoe and other classical connectives, another perspective emerges. Relevance logic, specifically the system R, may be seen as the output of a conservative extension of classical consequence into the language with arrow.