A note on strong normalization in classical natural deduction.

José Espírito Santo

Published in: CL&C (2016)

Keyphrases

natural deduction
inference rules
theorem prover
cut elimination
sequent calculus
intuitionistic logic
theorem proving
preprocessing
linear time temporal logic
data sets
artificial intelligence
expert systems
logic programs