Login / Signup
via cut-elimination.
Henry Towsner
Published in:
Arch. Math. Log. (2018)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
wide class
natural deduction
inference rules
sufficient conditions
proof theoretic
sequent calculi
modal logic
linear time temporal logic
general purpose
theorem prover
desirable properties
theorem proving