吉安·伊夫·吉拉德 线性逻辑:它的语法和语义。 (英语) Zbl 0828.03003号 Girard,Jean-Yves(编辑)等人,《线性逻辑的进展》。基于1993年6月14日至18日在美国纽约州伊萨卡康奈尔大学数学科学研究所举行的线性逻辑研讨会。剑桥:剑桥大学出版社。伦敦。数学。Soc.Lect(社会学)。注释序列号。222, 1-42 (1995). 这篇论文是一篇动机很强的线性逻辑导论。首先对线性逻辑中的连接词进行了详细的分析,然后考虑了证明理论(线性序列演算、证明网)和三种类型的语义(即阶段语义、指称语义和博弈语义),并讨论了线性逻辑与直觉主义逻辑和经典逻辑的关系。关于整个系列,请参见[Zbl 0816.00018号].审核人:M.Zakharyashev(柏林) 引用于73文件 MSC公司: 03B20型 经典逻辑子系统(包括直觉逻辑) 关键词:经典逻辑;直觉逻辑;线性逻辑导论;连接词;证明理论;线性序列演算;校对网;语义学 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Girard},伦敦。数学。Soc.Lect(社会学)。注释序列号。222,1-42(1995年;兹bl 0828.03003)