Search for dissertations about: "PROOF THEORY"

Showing result 1 - 5 of 177 swedish dissertations containing the words PROOF THEORY.

  2. 1. Legal Interpretation and Standards of Proof : Essays in Philosophy of Law and Evidence Law Theory

    Author : Sebastián Reyes Molina; Sebastian Lutz; Jens Johansson; Verónica Rodríguez-Blanco; Uppsala universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; HUMANIORA; HUMANITIES; law; legal interpretation; evidence; legal evidence; proof; philosophy of law; legal theory; general jurisprudence; standards of proof; philosophy; legal reasoning; evidential reasoning; Filosofi; Philosophy;

    Abstract : This dissertation addresses the issues of the indeterminacy of law and judicial discretion in the decision of the quaestio facti. It is composed of four papers:In the first paper, I develop an account of legal indeterminacy called the ‘systemic indeterminacy’ thesis. READ MORE

  4. 2. Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results

    Author : Johannes Åman Pohjola; Joachim Parrow; Björn Victor; Uwe Nestmann; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Abstract : As concurrent systems become ever more complex and ever more ubiquitous, the need to understand and verify them grows ever larger. For this we need formal modelling languages that are well understood, with rigorously verified foundations and proof techniques, applicable to a wide variety of concurrent systems. READ MORE

  5. 3. Representation matters in cyclic proof theory

    Author : Dominik Wehr; Göteborgs universitet; []
    Keywords : HUMANIORA; HUMANITIES; Logic; Cyclic Proof Theory;

    Abstract : Cyclic proof systems allowderivations whose underlying structure is a finite graph, rather than a well-founded tree. The soundness of cyclic proofs is usually ensured by imposing additional conditions beyond well-formedness. READ MORE

  6. 4. Combinatorial Slice Theory

    Author : Mateus de Oliveira Oliveira; Karl Meinke; Stefan Arnborg; Barbara König; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Combinatorial Slice Theory; Partial Order Theory of Concurrency; Digraph Width Measures; Equational Logic;

    Abstract : Slices are digraphs that can be composed together to form larger digraphs.In this thesis we introduce the foundations of a theory whose aim is to provide ways of defining and manipulating infinite families of combinatorial objects such as graphs, partial orders, logical equations etc. READ MORE

  7. 5. Relations in Dependent Type Theory

    Author : Carlos Gonzalía; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

    Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. READ MORE