×

\({\mathbf{MLL}}^-\)中证明网的子网。 (英语) Zbl 0826.03025号

Girard,Jean-Yves(编辑)等人,《线性逻辑的进展》。基于1993年6月14日至18日在美国纽约州伊萨卡康奈尔大学数学科学研究所举行的线性逻辑研讨会。剑桥:剑桥大学出版社。伦敦。数学。Soc.Lect(社会学)。注释序列号。222, 249-270 (1995).
摘要:本文研究了证明网的子网的性质。给出了无命题常数的乘法线性逻辑({mathbfM\mathbfL\mathbf L}^-\)的证明集上已知结果的非常简单的证明。
关于整个系列,请参见[兹比尔0816.00018].

MSC公司:

07年3月 证明的结构
03秒20 经典逻辑子系统(包括直觉逻辑)
PDF格式BibTeX公司 XML格式引用