R. D'avila-P'erez. Semantics and Parsing in Intuitionistic Categorial Grammar. University of Essex, England, 1995. Ph.D. Thesis.  Home/Search   Document Details and Download   Summary   Related Articles

....Structures can be translated into the calculus of constructions of Coquand and Huet [CH88] More recently, Ranta has writing of a book, Type Theoretical Grammar [Ran94] which is a good introduction to this approach to natural language semantics. A further step was provided by D avila P erez in [DP94, DP95], where he tackles the problem of parsing, and shows that is possible to interpret English sentences in MLTT in a compositional fashion. He proceeds by defining a set of rules in the Type Theory that can be effectively computed. Following the tradition of Montague s PTQ, the system consists of a ....

....words, or in a different language. A counter intuitive result of this interpretation is that all false propositions are assigned the same meaning. This does not correspond to our intuitions. A solution to this problem is provided by using the intensional framework presented by D avila P erez in [DP95]. In this framework, the intension of a proposition is a representation in the Universe of Small Sets, then two false propositions with different representations are considered to have different meanings even when having the same extension. Of the previous formalisms, only Property Theory ....

[Article contains additional citation context not shown here]

R. D'avila-P'erez. Semantics and Parsing in Intuitionistic Categorial Grammar. University of Essex, England, 1995. Ph.D. Thesis.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC