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 eighties Tennant invented a logical system that he called “intuitionistic relevant logic” (for short IR). 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: Intuitionistic Logic

Domaines: Philosophie

Joseph Vidal-Rosset. Why Intuitionistic Relevant Logic Cannot Be a Core Logic. 2014. ⟨hal-01240886⟩