×
杰拉尔德·佩恩

Lambek演算中序列可导性的图形理论方法。 （英语） Zbl 1263.03014号

Moss，Lawrence S.（编辑）等人，第六届形式语法会议和第七届语言数学会议联席会议记录，芬兰赫尔辛基，2001年8月10日至12日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记53，274-295（2004）。
摘要：提出了一种图论构造，用于表示Lambek证明网公理连接构造中的导数边条件，以及一种将其应用于Lambek微积分的序列可导性问题的天真算法。本文还介绍了这种结构的一些基本性质，并讨论了与Lambek范畴文法解析相关的一些复杂性问题。
关于整个系列，请参见[Zbl 1262.68016号].

引用于1审查
引用于1文件

MSC公司：

03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑）
03B65号 自然语言逻辑
07年3月 证明的结构
68T50型 自然语言处理

软件：

精灵
PDF格式BibTeX公司 XML格式引用
\textit{G.Penn}，电子。注释Theor。计算。科学。53、274--295（2004；Zbl 1263.03014）
全文： 内政部

参考文献：

[1] Danos，V。；Regnier，L.，《乘法结构》，《数理逻辑档案》，28，181-203（1989）·Zbl 0689.03013号
[2] 芬克尔，A。；Tellier，I.，范畴文法隶属度问题的多项式算法，理论计算机科学，207-221（1996）·Zbl 0871.68118号
[3] Girard，J.-Y.，线性逻辑，理论计算机科学，56，1-102（1987）·Zbl 0625.03037号
[4] Hepple M。，图表解析lambek语法：模型扩展和增量，单位：第十四届国际计算语言学会议论文集, 1992.; Hepple M。，图表解析lambek语法：模型扩展和增量，单位：第十四届国际计算语言学会议论文集, 1992.
[5] 柯尼格，E。，扩展范畴文法解析的复杂性，单位：第十三届国际计算语言学会议论文集, 1990; 柯尼格，E。，扩展范畴语法解析的复杂性，单位：第十三届国际计算语言学会议论文集, 1990
[6] 北卡罗来纳州库托尼纳。；Moortgat，M.，《结构控制》（Blackburn，P.；de Rijke，M.），《指定句法结构》（1996），CSLI出版物）
[7] R.Moot和Q.Puite，多模态范畴文法的证明网主编：G.-J.M.Kruijff和R.T Oehrle，形式语法文集1999, 1999; R.Moot和Q.Puite，多模态范畴文法的证明网主编：G.-J.M.Kruijff和R.T Oehrle，形式语法文集1999年、1999年·Zbl 1013.03016号
[8] 莫里尔·G·。，范畴演绎的高阶线性逻辑规划，单位：计算语言学协会欧洲分会第七届会议记录, 1995; 莫里尔·G·。，范畴演绎的高阶线性逻辑规划，单位：计算语言学协会欧洲分会第七届会议记录, 1995
[9] 莫里尔，G。，范畴证明网的记忆：范畴处理中的并行性《技术报告LSI-96-24-R》，加泰罗尼亚政治大学信息科学系，1996年；莫里尔，G。，范畴证明网的记忆：范畴处理中的并行性《技术报告LSI-96-24-R》，加泰罗尼亚政治大学系统信息系（1996年）
[10] Penn，G.，《关于无语境语法和lambek范畴语法之间的联系》，《CMU-LCL-96-2技术报告》，计算语言学实验室（1996），卡内基梅隆大学
[11] 彭特斯，M。，Lambek语法与上下文无关《莫斯科大学数学逻辑系技术报告》（1992年）。；彭特斯，M。，Lambek语法与上下文无关莫斯科大学数学逻辑系技术报告（1992年）·Zbl 0882.68084号
[12] Pfenning，F.，《lf逻辑框架中的逻辑编程》（Hyet，G.；Plotkin，G.，《逻辑框架》（1991），剑桥大学出版社）·Zbl 0760.68014号
[13] Puite，Q.和R.Moot，多模lambek演算的证明网（1999），乌得勒支国立大学未发表女士。；Puite，Q.和R.Moot，多模lambek演算的证明网（1999），乌得勒支国立大学未发表·Zbl 1013.03016号
[14] Roorda，D.，“资源逻辑：实证研究”，荷兰阿姆斯特丹大学博士论文（1991年）。；Roorda，D.，“资源逻辑：实证研究”，荷兰阿姆斯特丹大学博士论文（1991年）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。