15-399, 80-317/617
Constructive Logic
Lecture 17: Quantification

We explore the properties of the universal and existential quantifiers, keeping in mind the constructive point of view. In particular, we will give introduction and elimination rules for the quantifiers, and show how to assign proof terms to them.

[ Home | Schedule | Assignments | Handouts | Software | Overview ]