How to prove it in Natural Deduction: A Tactical Approach.

Favio E. Miranda-Perea P. Selene Linares-Arévalo Atocha Aliseda-Llera

Published in: CoRR (2015)

Keyphrases

natural deduction
inference rules
theorem prover
cut elimination
theorem proving
sequent calculus
intuitionistic logic
neural network
command and control
machine learning
artificial intelligence
logic programs
automated reasoning
linear logic