Cut for core logic
type: Item
instance of: scholarly article
zbMATH Open document ID: 1256.03059
DOI: 10.1017/S1755020311000360
author: Neil Tennant
published in: The Review of Symbolic Logic
publication date: 2012-10-23T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6097873
zbMATH Keywords: cut rule
zbMATH Keywords: core logic
zbMATH Keywords: cut elimination
MaRDI profile type: Publication
cites work: Natural deduction and sequent calculus for intuitionistic relevant logic
cites work: MINIMAL LOGIC IS ADEQUATE FOR POPPERIAN SCIENCE
cites work: Dual intuitionistic logic and a variety of negations: the logic of scientific research
cites work: Q5559220
cites work: Constructible falsity
cites work: Constructible falsity and inexact predicates
cites work: Q4239945
full work available at URL: s1755020311000360
OpenAlex ID: W2328394552
Recommended article: CUT FOR CLASSICAL CORE LOGIC
Recommended article: Core Logic
Recommended article: Cut elimination for the unified logic
Recommended article: Cut cotorsion pairs
Recommended article: Cuts and bounds
Recommended article: Extension operations for cuts
Recommended article: Q5690149
Recommended article: Cut formulas in propositional logic
Recommended article: Algebraic cuts
Recommended article: Vertex Cuts
title: Cut for core logic
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.
reviewed by: Branislav Boričić
description: scientific article; zbMATH DE number 6097873