Translator Disclaimer
2017 Why Intuitionistic Relevant Logic Cannot Be a Core Logic
Joseph Vidal-Rosset
Notre Dame J. Formal Logic 58(2): 241-248 (2017). DOI: 10.1215/00294527-3839326

Abstract

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.

Citation

Download Citation

Joseph Vidal-Rosset. "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

Information

Received: 26 January 2014; Accepted: 30 July 2014; Published: 2017
First available in Project Euclid: 4 February 2017

zbMATH: 06751301
MathSciNet: MR3634979
Digital Object Identifier: 10.1215/00294527-3839326

Subjects:
Primary: 03B20, 03B47

Rights: Copyright © 2017 University of Notre Dame

JOURNAL ARTICLE
8 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.58 • No. 2 • 2017
Back to Top