Login / Signup
A Sequent Calculus isomorphic to Gentzen's Natural Deduction.
Jan von Plato
Published in:
Rev. Symb. Log. (2011)
Keyphrases
</>
natural deduction
sequent calculus
cut elimination
inference rules
theorem prover
linear time temporal logic
theorem proving
linear logic
intuitionistic logic
proof search
high level
first order logic
modal logic
temporal reasoning