Simplifying Proofs in Fitch-Style Natural Deduction Systems.

Konstantine Arkoudas

Published in: J. Autom. Reason. (2005)

Keyphrases

natural deduction
theorem prover
theorem proving
management system
inference rules
machine learning
intelligent systems
building blocks
complex systems
expert systems
distributed systems
computer systems
sequent calculus
cut elimination