Peirce's Rule in a Full Natural Deduction System.

Vaston G. Costa Wagner Sanz Edward Hermann Haeusler Luiz Carlos Pereira

Published in: LSFA (2009)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
theorem proving
rule learning
intuitionistic logic
training data
sequent calculus
linear time temporal logic
rule sets
linear logic
learning algorithm
association rules