Abstract Interpretation of Proofs: Classical Propositional Calculus
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.
Keywordsclassical propositional calculus proof theory category theory
Unable to display preview. Download preview PDF.