15399 Constructive Logic
Lecture 8: Double Negation Translation
In this lecture we show how classical reasoning can be interpreted
constructively via the socalled double negation translation.
Formulas are true classically if and only if their translation
is true intuitionistically.
This lecture is given by Jeremy Avigad.
[ Home
 Schedule
 Assignments
 Handouts
 Software
 Overview
]
fp@cs
Frank Pfenning
