Search for dissertations about: "Peter Schroeder-Heister"

Found 1 swedish dissertation containing the words Peter Schroeder-Heister.

2. 1. Identity of proofs

   Author : Filip Widebäck; Peter Schroeder-Heister; Stockholms universitet; []
   Keywords : Theoretical Philosophy; teoretisk filosofi;

   Abstract : In the early seventies it was conjectured that a certain mathematically well-defined equivalence relation (bh-equivalence) on proofs in natural deduction captures the informal notion of identity of proofs. The conjecture can be divided into two parts, a soundness part and a completeness part. READ MORE