We give a new proof of a theorem of Mints that the positive fragment of
...
We provide a semi-grammatical description of the set of normal proofs of...
We present a calculus, called the scheme-calculus, that permits to expre...
When a proposition has no proof in an inference system, it is sometimes
...