Abstract Interpretation of Proofs: Classical Propositional Calculus

Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpretations of the proof theory of the classical propositional calculus are described. These provide invariants for proofs in the sequent calculus. The results of calculations in simple cases are given and briefly discussed.

• Type: Conference
• Year: 2004
• Where: CSL
• Authors: Martin Hyland
• Keywords: Classical Propositional Calculus, CSL 2004, Propositional Calculus Martin, Sequent Calculus