Valentini's Cut-Elimination for Provability Logic resolved.

Rajeev Goré Revantha Ramanayake

Published in: Rev. Symb. Log. (2012)

Keyphrases

cut elimination
sequent calculus
linear logic
natural deduction
wide class
inference rules
sequent calculi
proof theoretic
sufficient conditions
modal logic
linear time temporal logic
intuitionistic logic
proof search
theorem prover
euclidean space
classical logic