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

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

• 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
• Unnamed Item
• Unnamed Item