# Towards Discourse Representation via Pregroup Grammars

Abstract : 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 $\in$ 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.
keyword :
Document type :
Reports
Domain :

Cited literature [11 references]

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00117171
Contributor : Anne Preller <>
Submitted on : Thursday, November 30, 2006 - 12:16:56 PM
Last modification on : Thursday, May 24, 2018 - 3:59:20 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 11:41:39 PM

### Identifiers

• HAL Id : lirmm-00117171, version 1

### Citation

Anne Preller. Towards Discourse Representation via Pregroup Grammars. 06016, 2006, pp.26. ⟨lirmm-00117171⟩

Record views