All Title Author
Keywords Abstract

Mathematics  2009 

A semantical proof of the strong normalization theorem for full propositional classical natural deduction

Full-Text   Cite this paper   Add to My Lib

Abstract:

We give in this paper a short semantical proof of the strong normalization for full propositional classical natural deduction. This proof is an adaptation of reducibility candidates introduced by J.-Y. Girard and simplified to the classical case by M. Parigot.

Full-Text

comments powered by Disqus

Contact Us

service@oalib.com

QQ:3279437679

微信:OALib Journal