Investigations into Proof Structures

Christoph Wernhard, Wolfgang Bibel

We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is restricted to first-…