Classical Natural Deduction.

Marcello D'Agostino

Published in: We Will Show Them! (1) (2005)

Keyphrases

natural deduction
theorem prover
inference rules
theorem proving
intuitionistic logic
cut elimination
sequent calculus
expert systems
functional dependencies