Anca Pascu and François-Gilles Carpentier
In this paper we describe a new quantification theory based on the Object Determination Logic(ODL). This theory extends the system of classical quantifiers as a system including the classical and linguistic ones. It takes into account typicality, as a dimension of cognition. This theory represents the background of a computational model in the semantic analysis of natural languages. This paper presents the basic elements of this quantification system (QSODL) and the possibilities of implementing it in a computational system.