15-399, 80-317/617
Constructive Logic
Lecture 19: First-Order Logic

We investigate the properties of quantifiers and how the interact with each other and the propositional operations. We pay special attention thereby to the particular features of constructive logic.

• Reading: fol.pdf
• Previous lecture: Classical versus Constructive Logic
• Next lecture: Classical and Constructive Validity

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