Login / Signup
Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic.
Bruno Woltzenlogel Paleo
Published in:
Ershov Memorial Conference (2015)
Keyphrases
</>
natural deduction
intuitionistic logic
inference rules
theorem prover
cut elimination
sequent calculus
theorem proving
evaluation method
linear time temporal logic
contextual information
linear logic
natural language
logic programming
automated reasoning
classical logic