Natural Deduction for Assertibility and Deniability.

Vít Puncochár Berta Grimau

Published in: NCL (2022)

Keyphrases

natural deduction
inference rules
theorem prover
theorem proving
cut elimination
intuitionistic logic
sequent calculus
linear time temporal logic
general purpose
expert systems
first order logic
logical framework