Natural Deduction with Explosion and Excluded Middle.

Norihiro Kamide

Published in: ISMVL (2023)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
theorem proving
sequent calculus
intuitionistic logic
linear logic
linear time temporal logic
learning algorithm
pairwise