Strong normalization of a symmetric lambda calculus for second-order classical logic

Abstract We extend Barbanera and Berardi's symmetric lambda calculus [2] to second order classical propositional logic and prove its strong normalization.

• Type: Journal
• Year: 2002
• Where: AML
• Authors: Yoriyuki Yamagata
• Keywords: AML 2002, Classical Propositional Logic, Strong Normalization, Symmetric Lambda