Journal of Logic, Language and Information

, Volume 16, Issue 2, pp 173–194

Toward discourse representation via pregroup grammars

Origianl Article

DOI: 10.1007/s10849-006-9033-y

Cite this article as:
Preller, A. JoLLI (2007) 16: 173. doi:10.1007/s10849-006-9033-y


Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore, a semantical interpretation is independent of the order of the associated logic. Lexical entries are read as expressions in a two sorted predicate logic with ∈ and functional symbols. The parsing of a sentence defines a substitution that combines the expressions associated to the individual words. The resulting variable free formula is the translation of the sentence. It can be computed in time proportional to the parsing structure. Non-logical axioms are associated to certain words (relative pronouns, indefinite article, comparative determiners). Sample sentences are used to derive the characterizing formula of the DRS corresponding to the translation.


Categorial grammarsPregroup grammarsDiscourse representationSemantic interpretation

Copyright information

© Springer Science+Business Media 2007

Authors and Affiliations

  1. 1.LIRMMMonpellierFrance