Login / Signup
On the Strong Normalisation of Natural Deduction with Permutation-Conversions.
Philippe de Groote
Published in:
RTA (1999)
Keyphrases
</>
natural deduction
theorem prover
inference rules
cut elimination
intuitionistic logic
theorem proving
sequent calculus
information retrieval