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

core logiccut eliminationcut rule

Mathematics Subject Classification ID

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

Review text

In his recent book [Changes of mind. An essay on rational belief revision. Oxford: Oxford University Press (2012; Zbl 1254.03002)], the author of the paper under review argues for an important revision-theoretic thesis: core logic is the minimal inviolable core of logic without any part of which one would not be able to establish the rationality of belief revision. In this paper a `hybrid' proof system for core logic is presented, combining the advantages of a sequent calculus with those of natural deduction systems, and the corresponding form of the cut-elimination theorem is formulated and proved.

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

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

Cited in

(18)

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

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)