×
克劳迪娅·卡萨迪奥（编辑）;鲍勃·科克（编辑）;迈克尔·穆尔特加特（编辑）;斯科特，菲利普（编辑）

逻辑、语言和物理中的类别和类型。纪念吉姆·兰贝克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）
全文： 内政部