Feature Logic for Dotted Types: A Formalism for Complex Word Meanings

摘要

In this paper we revisit Puste-jovsky's proposal to treat ontologi-cally complex word meaning by so-called dotted pairs. We use a higher-order feature logic based on Ohori's record λ-calculus to model the semantics of words like book and library, in particular their behavior in the context of quantification and cardinality statements.