Cut for core logic

DOI10.1017/S1755020311000360zbMATH Open1256.03059OpenAlexW2328394552MaRDI QIDQ2919946FDOQ2919946

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

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

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)

Cites Work

• Title not available (Why is that?)
• Constructible falsity
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Constructible falsity and inexact predicates
• Title not available (Why is that?)
• Natural deduction and sequent calculus for intuitionistic relevant logic
• MINIMAL LOGIC IS ADEQUATE FOR POPPERIAN SCIENCE

Cited In (17)

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