Accession Number:

ADA034756

Title:

Making Computational Sense of Montague's Intesional Logic.

Descriptive Note:

Technical rept.,

Corporate Author:

NEW YORK UNIV N Y COURANT INST OF MATHEMATICAL SCIENCES

Report Date:

1976-12-01

Pagination or Media Count:

47.0

Abstract:

A simplified version of Montagues intensional logic is presented and explicated in terms of computational analogues. Several examples are presented in which Montagues formalism is coupled with a procedural interpretation. A natural translation is given from intensional logic into LISP. The relevance of this research to composition of meaning, knowledge representation, context and expectation is discussed. Author

Subject Categories:

  • Linguistics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE