Abstract Interpretation of Proofs: Classical Propositional Calculus

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.