A Tentative Atomic Calculus for Natural Deduction.

Tom Gundersen Michel Parigot

Published in: TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)

Keyphrases

natural deduction
sequent calculus
inference rules
theorem prover
cut elimination
theorem proving
intuitionistic logic
linear time temporal logic
linear logic
machine learning
graphical models
fixed point
automated reasoning