Natural deduction for bi-intuitionistic logic.

Published in: J. Appl. Log. (2017)

Keyphrases

intuitionistic logic
natural deduction
inference rules
theorem prover
theorem proving
classical logic
sequent calculus
linear logic
cut elimination
machine learning
general purpose
modal logic
automated reasoning
logical framework