克劳迪娅·卡萨迪奥(编辑);鲍勃·科克(编辑);迈克尔·穆尔特加特(编辑);斯科特,菲利普(编辑) 逻辑、语言和物理中的类别和类型。纪念吉姆·兰贝克90岁生日的文章。 (英语) Zbl 1284.03016号 计算机科学课堂讲稿8222.柏林:施普林格出版社(ISBN 978-3-642-54788-1/pbk)。xii,第421页。(2014). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章:萨姆森·艾布拉姆斯基;梅赫努什·萨德扎德,语义统一。自然语言的层次理论方法,1-13[Zbl 1285.03021号]V.Michele Abrusci,关于剩余,14-27[Zbl 1285.03012号]阿诺·巴斯滕霍夫,重温Lambek-Grishin演算的类型相似性,28-50[Zbl 1286.03078号]丹尼斯·贝切特,基于自由预群乘积的语法的NP完全性,51-62[Zbl 1285.03022号]拉斐拉·伯纳迪《分布语义:蒙塔哥夫的观点》,63-89[Zbl 1285.03023号]理查德·布鲁特(Richard F.Blute)。;阿莱西奥·古列尔米;伊万诺夫(Ivan T.Ivanov)。;帕南加登,普拉卡什;卢茨斯特拉汉堡,量子进化和纠缠的逻辑基础,90-107[Zbl 1286.81013号]罗伯托·博纳托;雷托雷,基督徒,从校对框架中学习Lambek语法,108-135[Zbl 1285.03024号]沃伊切赫·巴斯科夫斯基,多分类残差,136-155[兹比尔1285.03013]克劳迪娅·卡萨迪奥;Aleksandra,Ki she lak-Malinowska,《前组语法中的意大利语阴蒂模式:最新进展》,156-171[Zbl 1285.03025号]安妮·福雷特,关于用基本正确公理扩展的联想Lambek微积分,172-187[Zbl 1285.03014号]彼得·海恩斯,基于单位的古典结构,188-210[Zbl 1286.81014号]雅各布斯,巴特;亚历山德拉·席尔瓦,具有约束和代数结构的项的初始代数,211-234[Zbl 1285.18004号]亚历克斯·基辛格,抽象张量系统作为单体范畴,235-252[Zbl 1285.18010号]Mirosławaka-Gawiejnowicz,米洛斯·阿瓦,关于剩余群胚的正则嵌入,253-267[Zbl 1285.03078号]斯捷潘·库兹涅佐夫,\(L\)-具有允许空先行项的反转操作的Lambek演算的完备性,268-278[Zbl 1285.03015号]迈克尔·穆尔特加特,多维Dyck语言注释,279-296[Zbl 1285.03026号]理查德·穆特,扩展的Lambek演算和一阶线性逻辑,297-330[Zbl 1285.03016号]格林·莫里尔,范畴型逻辑,331-352[Zbl 1285.03017号]达斯科·巴甫洛维奇,密码学中的追逐图,353-367[Zbl 1286.94081号]马蒂·彭特斯,单调Lambek演算是NP-完全的,368-380[Zbl 1285.03018号]Reyes,Gonzalo E。,马萨乔的数学分析三位一体, 381-392 [Zbl 1286.00048号]阿列克谢·索罗金,1-不连续Lambek演算中的共轭性,393-401[兹比尔1285.03019]奥利奥尔·瓦伦廷,间断Lambek演算的隐藏结构规则,402-420[Zbl 1285.03020号] 引用于1文件 MSC公司: 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03B47号 子结构逻辑(包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑) 03B65号 自然语言逻辑 03G30型 分类逻辑,拓扑 18日第10天 单线、对称单线和编织线类别(MSC2010) 2017年第68季度 问题的计算难度(下界、完备性、近似难度等) 2012年第68季度 语法和重写系统 81页第10页 量子力学的逻辑基础;量子逻辑(量子理论方面) 94A60型 密码学 00B30型 费斯特施里夫滕 传记参考: 约阿希姆·兰贝克 PDF格式BibTeX公司 XML格式引用 \textit{C.Casadio}(ed.)等人,《逻辑、语言和物理中的类别和类型》。在吉姆·兰贝克90岁生日之际献给他的散文。柏林:施普林格出版社(2014;Zbl 1284.03016) 全文: 内政部