Permutability of Proofs in Intuitionistic Sequent Calculi.

Roy Dyckhoff Luís Pinto

Published in: Theor. Comput. Sci. (1999)

Keyphrases

cut elimination
sequent calculi
linear logic
sequent calculus
natural deduction
wide class
inference rules
sufficient conditions
modal logic
theorem prover
proof search
fixed point
theorem proving
expert systems
general purpose
decision procedures