Cut for core logic
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.
scientific article; zbMATH DE number 6097873
scientific article