Sökning: "double-negation"

Hittade 2 avhandlingar innehållade ordet double-negation.

1. 1. A Natural Interpretation of Classical Proofs

   Författare :Jens Brage; Per Martin-Löf; Sara Negri; Stockholms universitet; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

3. 2. Ultrasheaves

   Författare :Jonas Eliasson; Viggo Stoltenberg-Hansen; Steve Awodey; Carsten Butz; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; 03G30; 03C20; 03H05; Matematisk logik; Mathematical logic; Matematisk logik;

   Sammanfattning : This thesis treats ultrasheaves, sheaves on the category of ultrafilters. In the classical theory of ultrapowers, you start with an ultrafilter and, given a structure, you construct the ultrapower of the structure over the ultrafilter. LÄS MER