<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-01-28 10:15:20Sequent calculus Sequent Entailment Intuitionistic logic Gödel–Gentzen negative translation Natural deduction Curry–Howard correspondence Logic Mathematical logic Proof theory |
Add to Reading List |
[hal, v2] Polarizing Double Negation Translations | BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s LemmaDocID: 1aPy0 - View Document |
| [hal, v2] Polarizing Double Negation TranslationsDocID: 12Q9M - View Document |
| The Peirce Translation Mart´ın Escard´o University of Birmingham, UK Paulo Oliva Queen Mary University of London, UKDocID: 11WZB - View Document |
| A Logic for Reasoning about Knowledge of Unawareness∗ ˚ Thomas Agotnes and Natasha AlechinaDocID: NzEH - View Document |
| The Hahn-Banach Theorem BJG October 2011 Conspicuous by its absence from this course (Cambridge Mathematical Tripos Part II, Linear Analysis) is the Hahn-Banach theorem. A simple version of it is as follows.DocID: GGFL - View Document |