Now showing items 1-2 of 2

    • Aspects of the Computational Content of Proofs 

      Underwood, Judith (Cornell University, 1994-10)
      In this thesis, we explore three aspects of the computational content of proofs. These are: a computational interpretation of the metatheory of intuitionistic propositional logic, an extension of this approach to ...
    • A Constructive Completeness Proof for Intuitionistic Propositional Calculus 

      Underwood, Judith (Cornell University, 1990-12)
      This paper presents a constructive proof of completeness of Kripke models for the intuitionistic propositional calculus. The computational content of the proof is a form of the tableau decision procedure. If a formula ...