We saw that denotation domains consisting of functions inherit boolean lattice properties from their codomains.
This allowed us to show that generalized quantifiers had boolean structure, and indeed that a great many different denotation domains of natural language do too.
- here are slides from today