Making Computational Sense of Montague's Intesional Logic.
NEW YORK UNIV N Y COURANT INST OF MATHEMATICAL SCIENCES
Pagination or Media Count:
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
- Computer Programming and Software