×

兹马思-数学第一资源

线性逻辑:它的语法和语义。(英语) Zbl 0828.03003
Girard,Jean-Yves(编辑)等,线性逻辑进展。基于1993年6月14日至18日在美国纽约伊萨卡康奈尔大学数学科学研究所举行的线性逻辑研讨会。剑桥:剑桥大学出版社。隆德。数学。Soc。选择。注意Ser。222,1-42(1995年)。
这篇论文是对线性逻辑的很好的介绍。首先详细分析了线性逻辑中的连接词,然后讨论了证明理论(线性顺序演算、证明网)和三种语义类型(即阶段语义、指称语义和博弈语义),讨论了线性逻辑与直觉逻辑和经典逻辑的关系。
整个系列请参见[Zbl 0816.00018].

理学硕士:
03B20型 经典逻辑(包括直觉逻辑)的子系统
PDF格式 BibTeX公司 XML 引用