Publication Search Form

Keywords

Authors

Year

We found publication with these paramters.

Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets

Sylvain Pogodalla
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between Lambek calculus and linear logic to present a method for the generation process with semantic proof nets. We express the process as a proof search procedure based on a graph calculus and the solutions appear as a matrix computation preserving the decidability properties, and we characterize a polynomial time case.
Proc. Coling 2000, Saarbr├╝cken, Germany
2000
2000/006

Attachments

pogodalla-coling2000.pdf (86.33 kB)