Falsification, natural deduction and bi-intuitionistic logic.

Heinrich Wansing

Published in: J. Log. Comput. (2016)

Keyphrases

intuitionistic logic
natural deduction
inference rules
theorem prover
cut elimination
theorem proving
classical logic
sequent calculus
linear logic
first order logic
automated reasoning
knowledge base
expert systems