This is a preview. Log in through your library . Abstract Global properties of canonical derivability predicates (the standard example is Pr() in Peano Arithmetic) are studied here by means of a ...
A sequent calculus is given in which the management of weakening and contraction is organized as in natural deduction. The latter has no explicit weakening or contraction, but vacuous and multiple ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback