First page Back Continue Last page Overview Graphics
Conclusions
Formal Linguistics provides useful tools
- Categorial Semantics (~ OM expression layer!)
- Compositionality considerations
- Scoping analyses
Generalized quantifiers in OpenMath CDs
- always define binders as operators, too
- always add type/range-disambiguated version
- some GQs cannot be defined as binders (set-of)
Unique signatures => categorial type logic!
Notes: