Corrigendum to "Strong normalization proof with CPS-translation for second order classical natural deduction".
Koji NakazawaMakoto TatsutaPublished in: J. Symb. Log. (2003)
Keyphrases
- knowledge base
- knowledge representation
- natural deduction
- theorem prover
- inference rules
- first order logic
- theorem proving
- sequent calculus
- cut elimination
- intuitionistic logic
- higher order
- linear time temporal logic
- linear logic
- machine translation
- preprocessing
- normalization method
- statistical machine translation
- language model