Why Intuitionistic Relevant Logic Cannot Be a Core Logic

Joseph Vidal-Rosset (1)

1 LHSP - Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré

At the end of the 1980s, Tennant invented a logical system that he called " intuitionistic relevant logic " (IR, for short). Now he calls this same system " Core logic. " In Section 1, by reference to the rules of natural deduction for IR, I explain why IR is a relevant logic in a subtle way. Sections 2, 3, and 4 give three reasons to assert that IR cannot be a core logic.

Mots clés: relevant logic; Intuitionistic logic; minimal logic

Domaines: Philosophie; Logique [math.LO]

Joseph Vidal-Rosset. Why Intuitionistic Relevant Logic Cannot Be a Core Logic. Notre Dame Journal of Formal Logic, 2017, 58 (2), pp.241-248. ⟨10.1215/00294527-3839326⟩. ⟨hal-01469864⟩