@TechReport{Pinkal:1993,
      AUTHOR = {Pinkal, Manfred},
      TITLE = {Semantikformalismen für die Sprachverarbeitung},
      YEAR = {1993},
      MONTH = {January},
      NUMBER = {26},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      ABSTRACT = {The paper gives an introduction into logic-based formalisms for semantic representation in Natural Language Processing. It discusses First-Order Predicate Logic, Type Theory, Montague's Intensional Logic and Discourse Representation Theory as the most influential formalisms. For each of them, motivating NL examples are presented and discussed. The paper concludes with a short survey of alternative semantic formalisms that have been proposed recently.}
}