Search for dissertations about: "intuitionistic logic"

Showing result 1 - 5 of 8 swedish dissertations containing the words intuitionistic logic.

  2. 1. A Natural Interpretation of Classical Proofs

    Author : Jens Brage; Per Martin-Löf; Sara Negri; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Brouwer-Heyting-Kolmogorov; classical logic; constructive type theory; constructive semantics; proof interpretation; double-negation; continuation-passing-style; natural deduction; sequent calculus; cut elimination; explicit substitution; Mathematical logic; Matematisk logik;

    Abstract : In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK.We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. READ MORE

  4. 2. Runtime Service Composition via Logic-Based Program Synthesis

    Author : Sven Lämmermann; KTH; []
    Keywords : service composition; logic-based program synthesis; intuitionistic logic; natural deduction; specification; Java;

    Abstract : .... READ MORE

  5. 3. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory

    Author : Johan Lindberg; Erik Palmgren; Peter LeFanu Lumsdaine; Henrik Forssell; Benno van den Berg; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Topos theory; predicative topos theory; ramified type theory; type theory; localic groupoids; Mathematics; matematik;

    Abstract : This thesis contains three papers, all in the general area of categorical logic, together with an introductory part with some minor results and proofs of known results which does not appear to be (easily) available in the literature.In Papers I and II we investigate the formal system Intuitionistic Ramified Type Theory (IRTT), introduced by Erik Palmgren, as an approach to predicative topos theory. READ MORE

  6. 4. Reference and Computation in Intuitionistic Type Theory

    Author : Johan G Granström; Erik Palmgren; Per Martin-Löf; Peter Dybjer; Uppsala universitet; []
    Keywords : mathematical logic; intuitionism; type theory; foundations of mathematics;

    Abstract : Three topics, namely, computer science, philosophical logic, and mathematics, meet in intuitionistic type theory, which thus simultaneously is a programming language, a philosophy of language, and a foundation of mathematics. The present thesis compares, relates, and equates two concepts, one from philosophical logic and one from computer science, viz. READ MORE

  7. 5. Achieving completeness: from constructive set theory to large cardinals

    Author : Christian Espíndola; Erik Palmgren; Benno van den Berg; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematics; matematik;

    Abstract : This thesis is an exploration of several completeness phenomena, both in the constructive and the classical settings. After some introductory chapters in the first part of the thesis where we outline the background used later on, the constructive part contains a categorical formulation of several constructive completeness theorems available in the literature, but presented here in an unified framework. READ MORE