Contraction-free sequent calculi for geometric theories, with an ...

9 downloads 5403 Views 212KB Size Report
with an application to Barr's theorem. Sara Negri. Department of .... condition that the proper variables are not free in P, Γ, Δ . W e shall call a rule-scheme of the ...
         !" $#%&   ' (  ') * +(, - ..'  '/&01  23$(   % 64 57598&: ;?A@