Logical investigations on ptq arising from programming requirements : (preprint)
T.M.V. Janssen · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1978
This article mainly deals with the investigations on intensional logic which were stimulated by the development of a computer program for Montague's "The Proper Treatment of Quantification in Ordinary English".Some problems which arose during the design of the algorithm of the program are considered and special attention is paid to the logical reduction rules which are used to simplify the expressions of intensional logic.An explicit list of these rules is presented with a stategy for their application.The correctness of these rules is proved together with some related results.Finally, several illustrative examples of generated sentences are considered and some inaccuracies and omissions in Montague's article are indicated.