Citations of:
Infinitary Contraction‐Free Revenge
Thought: A Journal of Philosophy 7 (3):179189 (2018)
Add citations
You must login to add citations.


This note shows that the permutation instructions presented by Zardini for eliminating cuts on universally quantified formulas in the sequent calculus for the noncontractive theory of truth IKTω are inadequate. To that purpose the note presents a derivation in the sequent calculus for IKTω ending with an application of cut on a universally quantified formula which the permutation instructions cannot deal with. The counterexample is of the kind that leaves open the question whether cut can be shown to be eliminable (...) 