Search for dissertations about: "intuitionistic logic"

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

  1. 1. Runtime Service Composition via Logic-Based Program Synthesis

    University dissertation from Kista : Mikroelektronik och informationsteknik

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

    Abstract : .... READ MORE

  2. 2. A Natural Interpretation of Classical Proofs

    University dissertation from Stockholm : Matematiska institutionen

    Author : Jens Brage; Stockholms universitet.; [2006]
    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; MATHEMATICS Algebra; geometry and mathematical analysis Mathematical logic; MATEMATIK Algebra; geometri och analys 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

  3. 3. Reference and Computation in Intuitionistic Type Theory

    University dissertation from Uppsala : Universitetsbiblioteket

    Author : Johan G Granström; Uppsala universitet.; [2008]
    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

  4. 4. Achieving completeness: from constructive set theory to large cardinals

    University dissertation from Stockholm : Department of Mathematics, Stockholm University

    Author : Christian Espíndola; Stockholms universitet.; [2016]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; matematik; Mathematics;

    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

  5. 5. Natural deduction for intuitionistic least and greatest fixedpoint logics : with an application to program construction

    University dissertation from Institutionen för teleinformatik

    Author : Tarmo Uustalu; KTH.; [1998]
    Keywords : ;

    Abstract : This thesis discusses intuitionistic least and greatest fixedpoint logics, i.e., intuitionistic systems of logic with primitive predicate-valued operators on predicate transformers that send monotone predicate transformers to their least and greatest fixedpoints, predicates being quasiordered by inclusion. READ MORE