A COMPLETE SYNTACTICAL CHARACTERIZATION OF THE INTUITIONISTIC LOGIC
Tomasz Skura · 2006
That conjecture was disproved by G. Kreisel, H.Putnam [3] who gave the first example of an intermediate logic stronger than INT with the disjunction property. Others (for instance D. Scott [5]) used infinitely many non-structural rules instead of r−d so as to obtain a rejection procedure for INT . In this paper we give structural rules of rejection corresponding to the following generalized disjunction property (GDP ).