弗朗索瓦·拉马克 探索线性逻辑和经典逻辑之间的差距。 （英语） Zbl 1131.03033号 理论应用。类别。 18, 473-535 (2007). 这项工作有助于研究经典逻辑的对称指称模型（其中包括一些所谓的布尔范畴），并且与[L.斯特拉斯伯格，“关于有中间值和无中间值布尔范畴的公理化”，《理论应用》。类别。18, 536–601 (2007;Zbl 1122.03066号)]; 然而，弗朗索瓦·拉马克在更一般的线性逻辑背景下工作，也就是说，他没有假定先验的弱化和收缩规则。因此，在他的背景下，一些定理很难证明。审核人：弗拉基米尔·科门丹斯基（索菲亚·安蒂波利斯） 引用于7文件 MSC公司： 03楼52 线性逻辑和其他子结构逻辑的理论证明 03G30型 范畴逻辑，拓扑 18日第15天 闭范畴（闭单体和笛卡尔闭范畴等） 68问题55 计算理论中的语义学 关键词：\（*\）-自治类别;指称语义学;线性逻辑;经典逻辑;深层推理;中间规则 引文：Zbl 1122.03066号 软件：HOPLA公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Lamarche}，理论应用。类别。18、473--535（2007；Zbl 1131.03033） 全文： 欧洲DML EMIS公司