Contextual Natural Deduction.

Bruno Woltzenlogel Paleo

Published in: LFCS (2013)

Keyphrases

natural deduction
theorem prover
inference rules
contextual information
cut elimination
sequent calculus
theorem proving
context sensitive
linear logic
intuitionistic logic
context dependent
linear time temporal logic
modal logic
natural language
contextual knowledge
model checking
random variables