Cut for core logic

DOI10.1017/S1755020311000360MaRDI QIDQ2919946zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Cut for classical core logic
• Core Logic
• Cut elimination for the unified logic
• Cut cotorsion pairs
• Cuts and bounds
• Extension operations for cuts
• scientific article; zbMATH DE number 966897
• Cut formulas in propositional logic
• Algebraic cuts
• Vertex cuts

Cites work

• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Constructible falsity
• Constructible falsity and inexact predicates
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• MINIMAL LOGIC IS ADEQUATE FOR POPPERIAN SCIENCE
• Natural deduction and sequent calculus for intuitionistic relevant logic

Cited in

(17)

• Core Logic
• Non-reflexivity and revenge
• Rule-irredundancy and the sequent calculus for core logic
• TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
• The relevance of premises to conclusions of core proofs
• Which `intensional paradoxes' are paradoxes?
• Cut for classical core logic
• Core Gödel
• Transmission of verification
• WHAT IS A RULE OF INFERENCE?
• Burali-Forti as a purely logical paradox
• Core Type Theory
• A new approach to classical relevance
• FREGE MEETS BROUWER (OR HEYTING OR DUMMETT)
• Anything goes
• Aristotle's Syllogistic and Core Logic
• On some mistaken beliefs about core logic and some mistaken core beliefs about logic

This page was built for publication: Cut for core logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2919946)