LC Graphs for the Lambek calculus with product. Fowler, T. A. D. In Proceedings of Mathematics of Language 10, Los Angeles, California, 2007. abstract bibtex Since the introduction of the Lambek calculus in Lambek (1958), there has been a great deal of interest in its usefulness as a grammar for parsing in natural language. In 2003, Pentus proved that the version of the calculus with the product is NP-complete, while the version which omits the product has a computational complexity that is still unknown. This paper presents graph formalism similar to that of Penn (2001) for the Lambek calculus with product and then examines the differences between the two calculi by way of this new graph formalism.
@InProceedings{ fowler2007,
author = {Timothy Alexander Dalton Fowler},
title = {LC Graphs for the {L}ambek calculus with product},
booktitle = {Proceedings of Mathematics of Language 10},
year = {2007},
address = {Los Angeles, California},
abstract = {Since the introduction of the Lambek calculus in Lambek
(1958), there has been a great deal of interest in its
usefulness as a grammar for parsing in natural language. In
2003, Pentus proved that the version of the calculus with
the product is NP-complete, while the version which omits
the product has a computational complexity that is still
unknown. This paper presents graph formalism similar to
that of Penn (2001) for the Lambek calculus with product
and then examines the differences between the two calculi
by way of this new graph formalism.},
download = {http://www.cs.toronto.edu/~tfowler/Fowler-LCGraphsForTheLambekCalculusWithProduct.pdf}
}
Downloads: 0
{"_id":{"_str":"534282740e946d920a001ae1"},"__v":3,"authorIDs":["545998e3b43425b7720007c9"],"author_short":["Fowler, T. A. D."],"bibbaseid":"fowler-lcgraphsforthelambekcalculuswithproduct-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Timothy","Alexander","Dalton"],"propositions":[],"lastnames":["Fowler"],"suffixes":[]}],"title":"LC Graphs for the Lambek calculus with product","booktitle":"Proceedings of Mathematics of Language 10","year":"2007","address":"Los Angeles, California","abstract":"Since the introduction of the Lambek calculus in Lambek (1958), there has been a great deal of interest in its usefulness as a grammar for parsing in natural language. In 2003, Pentus proved that the version of the calculus with the product is NP-complete, while the version which omits the product has a computational complexity that is still unknown. This paper presents graph formalism similar to that of Penn (2001) for the Lambek calculus with product and then examines the differences between the two calculi by way of this new graph formalism.","download":"http://www.cs.toronto.edu/~tfowler/Fowler-LCGraphsForTheLambekCalculusWithProduct.pdf","bibtex":"@InProceedings{\t fowler2007,\n author\t= {Timothy Alexander Dalton Fowler},\n title\t\t= {LC Graphs for the {L}ambek calculus with product},\n booktitle\t= {Proceedings of Mathematics of Language 10},\n year\t\t= {2007},\n address\t= {Los Angeles, California},\n abstract\t= {Since the introduction of the Lambek calculus in Lambek\n\t\t (1958), there has been a great deal of interest in its\n\t\t usefulness as a grammar for parsing in natural language. In\n\t\t 2003, Pentus proved that the version of the calculus with\n\t\t the product is NP-complete, while the version which omits\n\t\t the product has a computational complexity that is still\n\t\t unknown. This paper presents graph formalism similar to\n\t\t that of Penn (2001) for the Lambek calculus with product\n\t\t and then examines the differences between the two calculi\n\t\t by way of this new graph formalism.},\n download\t= {http://www.cs.toronto.edu/~tfowler/Fowler-LCGraphsForTheLambekCalculusWithProduct.pdf}\n\t\t \n}\n\n","author_short":["Fowler, T. A. D."],"key":"fowler2007","id":"fowler2007","bibbaseid":"fowler-lcgraphsforthelambekcalculuswithproduct-2007","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/~fritz/tmp/compling.bib","downloads":0,"keywords":[],"search_terms":["graphs","lambek","calculus","product","fowler"],"title":"LC Graphs for the Lambek calculus with product","year":2007,"dataSources":["n8jB5BJxaeSmH6mtR","6b6A9kbkw4CsEGnRX"]}