Natural Deduction for "Generally".

Leonardo B. Vana Paulo A. S. Veloso Sheila R. M. Veloso

Published in: Log. J. IGPL (2007)

Keyphrases

natural deduction
inference rules
theorem prover
cut elimination
sequent calculus
theorem proving
intuitionistic logic
machine learning