Montagovian Definite Clause Grammar
R. I. Bainbridge · 1985
This paper reports a completed stage of ongoing research at the University oF York.Landsbergen's advocacy of analytical inverses ~or compositional suntax rules encourages the application of Definite Clause Grammar techniques to the cons-t~uction of a parser returning Montague analysis trees.A parser MDCg is presented which implements an augmented Friedman -Warren algorithm permitting post referencing, and interfaces with a language oF intensional logic translator LILT so as to display the dorivattonal history of corresponding reduced IL Formulae.Some familiarity with Montague's PTG and the basic DCQ mechanism is assumed.