Search for dissertations about: "Brouwer-Heyting-Kolmogorov"
Found 1 swedish dissertation containing the word Brouwer-Heyting-Kolmogorov.
-
1. A Natural Interpretation of Classical Proofs
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
Result pages:
1