CUT FOR CORE LOGIC

DOI10.1017/S1755020311000360zbMath1256.03059OpenAlexW2328394552MaRDI QIDQ2919946

Neil Tennant

Publication date: 23 October 2012

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

Full work available at URL: https://doi.org/10.1017/s1755020311000360

zbMATH Keywords

cut eliminationcut rulecore logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

Related Items (14)

On some mistaken beliefs about core logic and some mistaken core beliefs about logic ⋮ THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS ⋮ FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) ⋮ Core Gödel ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Core Type Theory ⋮ Anything goes ⋮ A new approach to classical relevance ⋮ Burali-Forti as a purely logical paradox ⋮ Aristotle's Syllogistic and Core Logic ⋮ Non-reflexivity and revenge ⋮ CUT FOR CLASSICAL CORE LOGIC ⋮ TRANSMISSION OF VERIFICATION

Cites Work

• Unnamed Item
• Unnamed Item
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Constructible falsity and inexact predicates
• MINIMAL LOGIC IS ADEQUATE FOR POPPERIAN SCIENCE
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Constructible falsity

This page was built for publication: CUT FOR CORE LOGIC