Natural Deduction for Dual-intuitionistic Logic.

Published in: Stud Logica (2012)

Keyphrases

intuitionistic logic
natural deduction
inference rules
theorem prover
classical logic
cut elimination
theorem proving
linear logic
sequent calculus
normal form
high level
bayesian networks
logic programs