Search for dissertations about: "Logical Framework"

Showing result 1 - 5 of 73 swedish dissertations containing the words Logical Framework.

  2. 1. An implementation of Martin-Löf's logical framework

    Author : Lena Magnusson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE

  4. 2. The Mechanics of the Grammatical Framework

    Author : Krasimir Angelov; Chalmers tekniska högskola; []
    Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; type theory; PMCFG; natural language processing; Grammatical Framework;

    Abstract : Grammatical Framework (GF) is a well known theoretical framework and a mature programming language for the description of natural languages. The GF community is growing rapidly and the range of applications is expanding. READ MORE

  5. 3. Logical Dynamics and Dynamical Systems

    Author : Rasmus Kraemmer Rendsvig; Lund University Information Quality Research Group (LUIQ); []
    Keywords : Formal epistemology; Modal logic; Dynamic epistemic logic; Dynamical systems; General topology;

    Abstract : This thesis is on information dynamics modeled using *dynamic epistemic logic* (DEL). It takes the simple perspective of identifying models with maps, which under a suitable topology may be analyzed as *topological dynamical systems*. It is composed of an introduction and six papers. READ MORE

  6. 4. Type Theory with First-Order Data Types and Size-Change Termination

    Author : David Wahlstedt; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Pattern-matching; Reducibility; Size-Change Termination; Logical Framework; Lambda-calculus; Term rewriting.; Type Theory; Dependent types; Normalization; Type system;

    Abstract : We prove normalization for a dependently typed lambda-calculus extended with first-order data types and computation schemata for first-order size-change terminating recursive functions. Size-change termination, introduced by C.S. Lee, N. READ MORE

  7. 5. Fundamentals and logical foundations of truth maintenance

    Author : Michael Reinfrank; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Despite their importance in AI problem solving, nonmonotonic truth maintenance systems (TMSs) still lack sufficiently well-understood logical foundations. In this thesis, I present a rigorous logical theory of TMSs. I pursue a two-step, bottom-up approach. First, I specify a direct, but implementation-independent, theory of truth maintenance. READ MORE