×

兹马思-数学第一资源

线性逻辑的进展。基于1993年6月14-18日在美国纽约伊萨卡市康奈尔大学数学科学研究所举行的线性逻辑研讨会。(英语) 邮编:00018.ZB0816
伦敦数学学会讲稿系列. 222剑桥:剑桥大学出版社。389页。24.95英镑;美元44.95(1995年)。

将索引文章显示为搜索结果。

本卷的文章将被单独审查。
索引文章:
吉拉德,让·伊夫,线性逻辑:它的语法和语义,1-42[Zbl 0828.03003]
兰贝克,J。《代数与语言学中的双线性逻辑》,43-59[邮政编码:0823.03038]
布拉斯,安德烈亚斯《问题与答案——线性逻辑、复杂性理论和集合论中的一个范畴》,61-81[Zbl 0823.03039]
爱尔哈德,托马斯,超相干:线性逻辑的强稳定模型,83-108[Zbl 0824.03036]
林肯,帕特里克,判定线性逻辑公式的可证性,109-122[邮政编码:0823.03004]
卡诺维奇,马克斯一世。,线性逻辑中明斯基机器的直接模拟,123-145[Zbl 0826.03018]
林肯,帕特里克·D。;米切尔,约翰·C。;斯凯德罗夫,安德烈,随机相互作用和线性逻辑,147-166[邮政编码:0829.03032]
福奎尔,克里斯托夫;沃泽利斯,杰奎琳《继承与例外:统一逻辑中线性连接词形式化的尝试》,167-196[Zbl 0849.68113]
马提尼,西蒙尼;玛西尼,安德里亚,关于指数规则的精细结构,197-210[Zbl 0835.03020]
丹诺斯,文森特;乔瓦内,让巴蒂斯特;谢林,哈罗德,\({\mathbf{LKQ}})和\({\mathbf{LKT}}}):基于经典蕴涵对偶线性分解的二阶逻辑序列计算,211-224[Zbl 0829.03031]
拉丰,伊夫,从验证网到交互网,225-247[Zbl 0830.03028]
贝林,G。;范德维勒,J。,证明网的子网在\({\mathbf{MLL}}^-\),249-270[Zbl 0826.03025]
阿布鲁斯基,V.米歇尔,非交换证明网,271-296[Zbl 0828.03028]
梅泰耶,弗朗索瓦,乘法公式和可证性卷,297-306[Zbl 0826.03003]
达诺斯,V。;雷尼尔,L。,证明网和希尔伯特空间,307-328[Zbl 0854.03011]
吉拉德,让·伊夫,相互作用的几何。三: 调节添加剂,329-389[Zbl 0828.03027]

理学硕士:
00B25号 特别关注的杂项会议记录
2006年3月 与数学基础、会议记录等有关的
PDF格式 BibTeX公司 XML 引用