Search for dissertations about: "proof interpretation"

Showing result 1 - 5 of 25 swedish dissertations containing the words proof interpretation.

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. 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

5. 3. Terrorism and Exclusion from Refugee Protection

   Author : Hevi Dawody; Mark Klamberg; Simon Andersson; Sarah Singer; Stockholms universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; exclusion from refugee protection; terrorism; international crimes; serious crimes; membership of a terrorist organisation; standard of proof; individual criminal responsibility; regime interaction; international refugee law; international human rights law; international criminal law; treaty interpretation; rättsvetenskap med inriktning mot folkrätt; Legal Science; specialisation Public International Law;

   Abstract : The aim of this study is to provide further contributions to the field of international refugee law and exclusion from refugee protection, particularly concerning exclusion cases involving terrorism. The study establishes a framework relevant for interpreting Article 1F of the 1951 Refugee Convention (also known as the exclusion provision) in accordance with international norms. READ MORE

6. 4. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory

   Author : Menno de Boer; Peter LeFanu Lumsdaine; Alexander Berglund; Bas Spitters; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dependent type theory; Category theory; Contextual categories; Initiality; Formalization; Mathematics; matematik; matematisk logik; Mathematical Logic;

   Abstract : In this licentiate thesis we present a proof of the initiality conjecture for Martin-Löf’s type theory with 0, 1, N, A+B, ∏AB, ∑AB, IdA(u,v), countable hierarchy of universes (Ui)iєN closed under these type constructors and with type of elements (ELi(a))iєN. We employ the categorical semantics of contextual categories. READ MORE

7. 5. Model-Based Optimization of Clinical Trial Designs

   Author : Camille Vong; Mats O. Karlsson; Andrew C. Hooker; Lena E. Friberg; Marylore Chenel; Oliver Sander; Uppsala universitet; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; nonlinear mixed-effects models; pharmacometrics; likelihood ratio test; NONMEM; power; sample size; study design; proof-of-concept; dose-finding; population optimal design; LOQ; BQL data; neutropenia; docetaxel; myelosuppression; thrombocytopenia; MTD; Bayesian methods; 3 3 algorithm; dose escalation study; Pharmaceutical Science; Farmaceutisk vetenskap;

   Abstract : General attrition rates in drug development pipeline have been recognized as a necessity to shift gears towards new methodologies that allow earlier and correct decisions, and the optimal use of all information accrued throughout the process. The quantitative science of pharmacometrics using pharmacokinetic-pharmacodynamic models was identified as one of the strategies core to this renaissance. READ MORE