我的阅读状态 （保存写回仓库，全设备同步；首次保存需输入访问令牌）

AI 速览

一句话：在命题情形下重新审视并梳理经典线性逻辑与直觉主义线性逻辑各变体之间的句法关系。

本文重新考察命题情形下经典线性逻辑（LL）及其变体与直觉主义线性逻辑（ILL）及其变体之间的句法关系。作者以统一视角比较这两类逻辑系统在命题层面上的联系，关注不同变体选择如何影响经典与直觉主义线性逻辑之间的对应与差异。论文不展开新的语义模型，而是从句法角度重新审视相关关系，旨在澄清两种线性逻辑表述之间的结构联系，并为后续关于线性逻辑、证明论及类型论的研究提供参考。

问题

经典线性逻辑与直觉主义线性逻辑（及其变体）在命题层面存在哪些句法联系，以及这些联系如何随变体而不同。

方法

以命题情形为限定，对经典 LL 与直觉主义 LL 各变体之间的句法关系进行重新审视与系统比较。

评估

论文属于理论层面的句法分析，摘要未提及实现或实验评估。

链接与引用

DOI 原文 ·

@inproceedings{paperbot4328,
  title = {Around Classical and Intuitionistic Linear Logics},
  author = {Olivier Laurent},
  booktitle = {LICS},
  year = {2018},
  doi = {10.1145/3209108.3209132}
}