On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions.

Philippe de Groote

Published in: Inf. Comput. (2002)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
theorem proving
sequent calculus
linear logic
intuitionistic logic
linear time temporal logic
high level
first order logic
artificial intelligence