卡尔·波拉德 逻辑语法中的隐蔽动作。 （英语） Zbl 1339.03025号 Pogodalla，Sylvain（编辑）等人，《逻辑与语法》。在阿兰·勒科姆60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-21489-9/pbk）。计算机科学课程讲稿6700。人工智能课堂讲稿，17-40（2011）。 小结：由于Cooper（1975），我们提出了一种对众所周知的存储和检索技术进行形式化重构的方法，用于限定量词和其他“隐蔽移动”语义操作符的范围。在所建议的重建中，语法规则是以常见的术语标记的Gentzen-sequent自然演绎风格表示的。新的是，除了旋转栅门左侧的常见上下文（记录未被发现的假设对，每对由一个句法变量（“trace”）和相应的语义变量组成）之外，我们的打字判断还包括共同旋转栅门右侧的共同上下文（“dashv”）。联合上下文由一系列语义变量组成，每个变量都与一个量词配对，该量词对应于量化名词短语所表达的含义，而量化名词短语的范围尚未指定。除了通常的逻辑规则外，语法还包含称为Commitment和Responsibility的规则，它们分别实现语义运算符的存储和检索。关于整个系列，请参见[Zbl 1217.03003号]. 引用于2文件 MSC公司： 03B65号 自然语言逻辑 软件：GF公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Pollard}，莱克特。注释计算。科学。6700,17--40（2011年；Zbl 1339.03025） 全文： 内政部 参考文献： [1] Anoun，H.，Lecomte，A.：带标签的线性文法。收录：Satta，G.、Monachesi，P.、Penn，G.和Wintner，S.（编辑）《2006年形式语法学报》。CSLI，斯坦福大学（2007） [2] Aoun，J.，Li，A.：原位元素是什么：语法还是lf？语言研究24（2），199–238（1993） [3] 巴赫，E.，Partee，B.：隐喻和语义结构。收录：Krieman，J.，Ojeda，A.（编辑）《芝加哥语言学会论文集》，代词和回指Parasession论文，第1-28页（1980） [4] 贝克，C.：关于英语疑问句描述的注释：抽象疑问句语素的作用。语言基础6197-219（1970） [5] Barker，C.：连续性和量化的本质。自然语言语义学10（2002） [6] Barker，C.：寄生示波器。语言学与哲学30（4），407–444（2007）·doi:10.1007/s10988-007-9021-y [7] Benton，N.，Bierman，G.，de Paiva，V.，Hyland，M.：直觉线性逻辑的术语赋值。剑桥大学技术报告262（1992年8月）·Zbl 0795.68127号 [8] Bernardi，R.，Moortgat，M.：对称范畴语法的连续语义。收录人：Leivant，D.，de Queiroz，R.（编辑）WoLLIC 2007。LNCS，第4576卷，第53-71页。斯普林格，海德堡（2007）·Zbl 1213.68643号 ·doi:10.1007/978-3-540-73445-1_5 [9] Buszkowski，W.：类型的逻辑。摘自：Srzednicki，J.（编辑）《逻辑中的倡议》，第180-206页。M.Nijhoff，Dordrecht（1987）·doi:10.1007/978-94-009-3673-7_11 [10] 卡彭特，B.：类型逻辑语义学。麻省理工学院出版社，剑桥（1997）·Zbl 0913.68133号 [11] 乔姆斯基，N.：语法规则的条件。《语言学分析》2303-351（1976） [12] 乔姆斯基，N.：关于wh-movement。收录于：Culicover，P.、Wasow，T.、Akmajian，A.（编辑）《形式语法》，第71–132页。纽约学术出版社（1977年） [13] 乔姆斯基，N.：极简主义计划。麻省理工学院出版社，剑桥（1995）·Zbl 0852.68076号 [14] 乔姆斯基，N.：关于政府和约束的讲座。福利斯，多德雷赫特（1981） [15] 库珀，R.：蒙塔古的语义理论和转换句法。马萨诸塞大学阿默斯特分校博士论文（1975年） [16] Cooper，R.：《量化与句法理论》。多德雷赫特·雷德尔（1983）·doi:10.1007/978-94-015-6932-3 [17] Copestake，A.，Flickinger，D.，Sag，I.，Pollard，C.：最小递归语义：简介。《语言与计算研究杂志》3，281–332（2005）·Zbl 05075755号 ·doi:10.1007/s11168-006-6327-9 [18] Culicover，P.W.，Jackendoff，R.：更简单的语法。牛津大学出版社，牛津（2005）·doi:10.1093/acprof:oso/9780199271092.001.0001 [19] Curien，P.L.，Herbelin，H.：计算的二重性。收录于：ICFP 2000，第233-243页（2000）·兹比尔1321.68146 ·doi:10.1145/351240.351262 [20] Curry，H.，Feys，R.：组合逻辑，第1卷。荷兰北部，阿姆斯特丹（1958年）·Zbl 0081.24104号 [21] 加林，D.：内涵和高阶模态逻辑。荷兰北部，阿姆斯特丹（1975年）·Zbl 0341.0204号 [22] Danvy，O.，Filinski，A.：抽象控制。1990年ACM Lisp和函数编程会议，第151-160页。ACM出版社，纽约（1990）·数字对象标识代码：10.1145/91556.91622 [23] de Groote，P.：类型提升、延续和经典逻辑。收录人：van Rooy，R.，Stokhof，M.（编辑）《第十三届阿姆斯特丹学术讨论会论文集》，阿姆斯特丹，逻辑、语言和计算研究所，阿姆斯特朗大学，第97–101页（2001） [24] de Groote，P.：走向抽象范畴语法。摘自：ACL会议记录，第148-155页（2001年）·数字对象标识代码：10.3115/1073012.1073045 [25] de Groote，P.，Pogodalla，S.，Pollard，C.：关于平行和以句法为中心的形式主义：将收敛语法编码为抽象分类语法告诉我们什么。《基础信息学》（2009）（提交）·Zbl 1248.03050号 [26] Felleisen，M.：一流提示的理论和实践。收录于：POPL 1988，第180-190页。纽约ACM出版社（1988） [27] Gabbay，D.，de Queiroz，R.：将curry-howard解释扩展到线性、相关和其他资源逻辑。符号逻辑杂志57（4），1319–1365（1992）·Zbl 0765.03005号 ·doi:10.2307/2275370 [28] Gazdar，G.：无限依赖和坐标结构。语言研究12，155–184（1981） [29] Groenendijk，J.，Stokhof，M.：《问题的语义学和答案的语用学研究》。阿姆斯特丹大学博士论文（1984年）·Zbl 0797.03023号 [30] Hendriks，H.：《灵活性研究：句法和语义的类别和类型》。阿姆斯特丹大学博士论文（1993年） [31] 霍华德，W.A.：建筑的形式化概念。收录：Hindley，J.，Seldin，J.（编辑）致H.B.Curry：关于组合逻辑、Lambda微积分和形式主义的论文。，纽约学术出版社（1980） [32] 黄春杰：《汉语逻辑关系与语法理论》。麻省理工学院博士论文（1992年） [33] Jacobson，P.：走向无变量语义。语言学与哲学（1999）·doi:10.1023/A:1005464228727 [34] Jay，B.：单体范畴的语言。《纯粹与应用代数杂志》59，61-85（1989）·Zbl 0693.18003号 ·doi:10.1016/0022-4049（89）90163-1 [35] Karttunen，L.：问题的句法和语义。语言学与哲学1，3–44（1977）·Zbl 0342.02002号 ·doi:10.1007/BF00351935 [36] Lambek，J.：范畴和范畴语法。收录于：Oehrle，R.、Bach，E.、Wheeler，D.（编辑）《分类语法和自然语言结构》，第297–317页。多德雷赫特·雷德尔（1988）·doi:10.1007/978-94-015-6878-4_11 [37] Lambek，J.：句子结构的数学。《美国数学月刊》65（3），154-170（1958）·兹比尔0080.00702 ·数字对象标识代码：10.2307/2310058 [38] Lecomte，A.，Retoré，C.：双语法：语法、语义及其对应的逻辑系统。发表于《2002年正式语法》，特伦托（2002）（未出版） [39] Lecomte，A.：极简主义的范畴语法。收录于：Casdio，C.、Scott，P.、Seely，R.（编辑）《语言和语法：数学语言学和自然语言研究》，第163-188页。CSLI，斯坦福大学（2005） [40] Leivant，D.，de Queiroz，R.（编辑）：WoLLIC 2007。LNCS，第4576卷。斯普林格，海德堡（2007） [41] Mackie，I.，Román，L.，Abramsky，S.：自治类别的内部语言。收录于：《第一帝国理工学院计算机系理论与形式方法研讨会论文集》，第235-246页。施普林格，伦敦（1993年）·Zbl 0806.03044号 [42] May，R.C.：逻辑形式：它的结构和派生。麻省理工学院出版社，剑桥（1985） [43] May，R.C.：量化语法。麻省理工学院博士论文。语言学和哲学系（1977年） [44] Mints，G.：闭范畴和证明理论。《苏联数学杂志》15（1），45-62（1981）；翻译自Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Institutaim。五、。A.Steklova AN SSSR，第68卷，第83–114页（1977年）·Zbl 0449.03054号 [45] Mitchell，J.，Scott，P.：键入lambda模型和笛卡尔闭合类别。当代数学92301-316（1989）·Zbl 0674.03004号 ·doi:10.1090/conm/092/1003204 [46] 蒙塔古：普通英语中量化的恰当处理。收录于：Thomason，R.（编辑）《形式哲学：理查德·蒙塔古文选》，第247-270页。耶鲁大学出版社，纽黑文（1974）；最初发表于Hintikka，J.、Moravcsik，J.和Suppes，P.（编辑）《自然语言方法：1970年斯坦福大学语法和语义研讨会论文集》。多德雷赫特·雷德尔 [47] Moortgat，M.：自然语言语法和语义的对称性。收录人：Leivant，D.，de Queiroz，R.（编辑）WoLLIC 2007。LNCS，第4576卷，第53-71页。斯普林格，海德堡（2007）·Zbl 1213.68643号 ·doi:10.1007/978-3-540-73445-1_5 [48] Moortgat，M.：分类研究：兰贝克微积分的逻辑和语言方面。Mouton de Gruyter/Foris Publications，柏林（1991） [49] Moortgat，M.：广义量词和不连续类型构造器。摘自：Bunt，H.，van Horck，A.（编辑）《间断选区》，第181-207页。德格鲁伊特，柏林（1996） [50] Moortgat，M.：分类类型逻辑。摘自：van Benthem，J.，ter Meulen，A.（编辑）《逻辑和语言手册》，第93-177页。爱思唯尔科学出版社，阿姆斯特丹（1996） [51] Morrill，G.V.：《符号的类型逻辑语法分类逻辑》。Kluwer学术出版社，Dordrecht（1994）·Zbl 0848.03007号 ·doi:10.1007/978-94-011-1042-6 [52] 马斯肯斯，R.：《兰姆达斯，语言与逻辑》。收录：Kruijff，G.J.，Oehrle，R.（编辑）《绑定和回指中的资源敏感性》。语言学和哲学研究，第23-54页。Kluwer，Dordrecht（2003）·doi:10.1007/978-94-010-0037-6_2 [53] Oehrle，R.T.：Term标记的分类类型系统。语言与哲学17（6），633-678（1994）·doi:10.1007/BF00985321 [54] Parigot，M.：关于否定的计算解释。收录：Clote，P.G.，Schwichtenberg，H.（编辑）CSL 2000。LNCS，第1862卷，第472–484页。斯普林格，海德堡（2000）·Zbl 0973.03017号 ·doi:10.1007/3-540-44622-2-32 [55] Parigot，M.：{\（lambda\）}{\（mu\）}-演算：经典自然演绎的算法解释。收录：Voronkov，A.（编辑）LPAR 1992。LNCS，第624卷。斯普林格，海德堡（1992）·Zbl 0925.03092号 ·doi:10.1007/BFb0013061 [56] Pesetsky，D.：Wh-原位：运动和非选择性结合。收录于：Reuland，E.，Meulen，A.（编辑）《（In-）确定性的表示》，第98–129页。麻省理工学院出版社，剑桥（1987） [57] Plotkin，G.：Call-by-name、Call-by-value和{\（\lambda\）}-演算。理论计算机科学1（2），125–159（1975）·Zbl 0325.68006号 ·doi:10.1016/0304-3975（75）90017-1 [58] Pollard，C.：类型逻辑hpsg。在《形式语法学报》（2004）中，http://www.ling.ohio-state.edu/hana/hog/pollard2004-FG.pdf [59] 波拉德：关系型理论语法中显性和隐性运动的逻辑。在第四届兰姆达微积分和形式语法研讨会上发表，洛里亚，南希（2007年9月），http://www.ling.ohio-state.edu/hana/hog/pollard2007-lcfg.pdf [60] Pollard，C.：拼接管道的逻辑。在波伊拉克Alain Lecomte举行的学术讨论会上发表（2007年11月），http://www.ling.ohio-state.edu/hana/hog/pollard2007-pied.pdf [61] 波拉德：责任和承诺的计算。未发表论文，接受在Autrans Ludics，Dialog，and Interaction研讨会上发表（2008年5月） [62] Pollard，C.：句法-语义接口的并行派生架构。在汉堡（2008年8月）ESSLLI 2008年“什么语法促进语义”研讨会上发表，http://www.ling.ohio-state.edu/pollard/cvg/para-slides.pdf [63] 波拉德：疑问句指的是什么？未发表论文，俄亥俄州立大学、弗吉尼亚大学和INRIA-Lorraine。在巴塞罗那蓬佩法布拉大学抽象物体参考研讨会上发表（2008年3月），http://www.ling.ohio-state.edu/pollard/cvg/absobj.pdf [64] 波拉德：聚合语法。附：2008年ESSLLI课程幻灯片，汉堡（2008年8月），http://www.ling.ohio-state.edu/pollard/cvg/day2.pdf [65] Pollard，C.：超强度。《逻辑与计算杂志》18（2），257–282（2008）·Zbl 1138.03026号 ·doi:10.1093/log.com/exm003 [66] Pollard，C.：超内涵问题。收录：Hodges，W.，de Queiroz，R.（编辑）WoLLIC 2008。LNCS（LNAI），第5110卷，第261-274页。斯普林格，海德堡（2008），http://www.ling.ohio-state.edu/pollard/cvg/wollic08.pdf·Zbl 1155.03304号 ·数字对象标识代码：10.1007/978-3-540-69937-8_24 [67] 波拉德，C.，萨格，I.A.：头部驱动的短语结构语法。CSLI出版物，斯坦福大学（1994）；芝加哥大学出版社发行 [68] Ranta，A.：语法框架：一种类型理论语法形式主义。函数编程杂志14（2），145-189（2004）·Zbl 1085.68026号 ·网址：10.1017/S0956796803004738 [69] Shan，C.：解释贝克歧义的疑问句的延续语义。收录于：Jackson，B.（编辑）《语义学和语言理论学报》12，第246-265页。康奈尔大学出版社，伊萨卡（2002） [70] Shan，C.：自然语言中的限定延续：量化和极性敏感性。在：2004年威尼斯继续研讨会（2004年） [71] Steedman，M.：表面结构和解释。麻省理工学院出版社，剑桥（1996） [72] van Benthem，J.：范畴语法中多样性的语义。温哥华西蒙·弗雷泽大学数学系技术报告83-29（1983）；重印于Buszkowski，W.，van Benthem，J.，Marciszewski，W（编辑）《分类语法》，第37-55页。约翰·本杰明斯，阿姆斯特丹 [73] Wansing，H.：直觉主义命题逻辑的子逻辑层次结构的“公式即类型”。摘自：Pearce，D.J.，Wansing，H.（编辑）All-Berlin 1990。LNCS（LNAI），第619卷，第125-145页。斯普林格，海德堡（1992）·doi:10.1007/BFb0031928 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。