Towards a canonical classical natural deduction system.

José Espírito Santo

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
theorem proving
sequent calculus
data sets
intuitionistic logic
artificial intelligence
probability distribution
general purpose
linear time temporal logic