A minimal classical sequent calculus free of structural rules.

Dominic J. D. Hughes

Published in: Ann. Pure Appl. Log. (2010)

Keyphrases

cut elimination
sequent calculus
linear logic
inference rules
natural deduction
wide class
sufficient conditions
modal logic
fixed point
theorem prover