Mary Dalrymple, John Lamping, Fernando Pereira, and Vijay Saraswat. A Deductive Account of Quantification in LFG. Center for the Study of Language and Information, Stanford, California, 1996.  Home/Search   Document Not in Database   Summary   Related Articles

....number of researchers have proposed applications of Girard s Linear Logic [7] to computational linguistics. On the semantics side, Dalrymple, Lamping, Pereira, and Saraswat have shown how deduction in linear logic can be used to enforce various constraints during the construction of semantic terms [1, 2, 3]. On the syntax side, Hepple, Johnson, Moortgat, Morrill, Oehrle, Roorda, and others have related linear logic to formal grammars [8, 13, 20, 21, 23, 27] The latter body of work has focused primarily on the connection between linear logic and categorial grammars. This is natural as the Lambek ....

Mary Dalrymple, John Lamping, Fernando Pereira, and Vijay Saraswat. A Deductive Account of Quantification in LFG. Center for the Study of Language and Information, Stanford, California, 1996.

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