Richard T. Oehrle. Forms of labeled categorial type deduction. In Proceedings of the London Workshop on Proof Theory and Linguistic Analysis, 1994.  Home/Search   Document Not in Database   Summary   Related Articles

.... 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 Calculus [17, 18, 29] can be seen as a non commutative linear logic. In this work we show how linear logic can be used to provide a straightforward, ....

Richard T. Oehrle. Forms of labeled categorial type deduction. In Proceedings of the London Workshop on Proof Theory and Linguistic Analysis, 1994.

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