Cut for core logic (Q2919946)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Cut for core logic |
scientific article; zbMATH DE number 6097873
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cut for core logic |
scientific article; zbMATH DE number 6097873 |
Statements
23 October 2012
0 references
cut rule
0 references
core logic
0 references
cut elimination
0 references
0 references
0 references
0 references
0 references
Cut for core logic (English)
0 references
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.
0 references
