A cut rule in proof theory introduces an intermediate conclusion within a…
Sign in to your account
Remember me
