Login / Signup
A Symmetric Natural Deduction.
Michel Parigot
Published in:
TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Keyphrases
</>
natural deduction
theorem prover
inference rules
theorem proving
intuitionistic logic
sequent calculus
linear time temporal logic
feature selection
expert systems
first order logic
cut elimination
probabilistic model
automated reasoning