Proofs as Texts: Dynamic Proof Theory for Intuitionistic Propositional Logic

Abstract

In this paper we develop a view on proofs as texts. Motivation for such an enterprise stems from current developments in formal semantics, where a shift of interest from the meaning of sentences to the meaning of texts is taking place. Such a shift will in uence methodological issues in formal semantics, but, as will be shown, it also can lead to a new perspective on proofs. In the paper we consider some of the consequences of this new perspective.