THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS

DOI10.1017/S1755020315000040zbMath1375.03078WikidataQ113857269 ScholiaQ113857269MaRDI QIDQ3459088

Neil Tennant

Publication date: 30 December 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

relevancecore logiccore proofs

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (8)

On some mistaken beliefs about core logic and some mistaken core beliefs about logic ⋮ Core Gödel ⋮ RELEVANCE FOR THE CLASSICAL LOGICIAN ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ WHAT IS A RULE OF INFERENCE? ⋮ A plea for KR ⋮ GP’s LP ⋮ TRANSMISSION OF VERIFICATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• What is relevance logic?
• A general characterization of the variable-sharing property by means of logical matrices
• An interpolation theorem in the predicate calculus
• Depth relevance of some paraconsistent logics
• A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
• On purely relevant logics
• CUT FOR CORE LOGIC
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• A natural extension of natural deduction
• Logic, Mathematics, and the A Priori, Part II: Core Logic as Analytic, and as the Basis for Natural Logicism

This page was built for publication: THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS