Focused Natural Deduction.

Taus Brock-Nannestad Carsten Schürmann

Published in: LPAR (Yogyakarta) (2010)

Keyphrases

natural deduction
inference rules
theorem prover
sequent calculus
intuitionistic logic
theorem proving
cut elimination
data sets
search engine
knowledge representation
linear logic