Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.

Hugo Herbelin Gyesik Lee

Published in: WoLLIC (2009)

Keyphrases

cut elimination
sequent calculus
linear logic
inference rules
natural deduction
modal logic
wide class
linear time temporal logic
sufficient conditions
theorem prover
proof search
fixed point
logical framework
probability distribution
first order logic
classical logic