At the end of the 1980s, Tennant invented a logical system that he called “intuitionistic relevant logic” (, for short). Now he calls this same system “Core logic.” In Section 1, by reference to the rules of natural deduction for , I explain why is a relevant logic in a subtle way. Sections 2, 3, and 4 give three reasons to assert that cannot be a core logic.
"Why Intuitionistic Relevant Logic Cannot Be a Core Logic." Notre Dame J. Formal Logic 58 (2) 241 - 248, 2017. https://doi.org/10.1215/00294527-3839326