Abstract Interpretation of Proofs: Classical Propositional Calculus

  • Martin Hyland
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3210)


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.


classical propositional calculus proof theory category theory 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Martin Hyland
    • 1
  1. 1.DPMMS, Centre for Mathematical SciencesUniversity of CambridgeEngland

Personalised recommendations