On the Computational Interpretation of Negation

Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply achieved by adding

• Type: Journal
• Year: 2000
• Where: CSL
• Authors: Michel Parigot
• Keywords: Automated Reasoning, Classical Natural Deduction, Computational Interpretation, CSL 2000, Involutive Negation