Login / Signup
An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction.
José Espírito Santo
Published in:
LPAR (2002)
Keyphrases
</>
natural deduction
sequent calculus
linear time temporal logic
cut elimination
inference rules
theorem prover
proof theoretic
linear logic
theorem proving
intuitionistic logic
model checking
modal logic
proof search
linear temporal logic
machine learning