马塞隆，M。;C.托鲁。;沃泽利斯，J。 以线性逻辑生成计划。 （英语） Zbl 0758.03017号 软件技术和理论计算机科学基础。第十届会议，班加罗尔/印度，1990年，法律。注释计算。科学。472、63-75（1990）中所述。 [关于整个系列，请参见Zbl 0731.00025号.]本文包含线性逻辑的应用[J.-Y.吉拉德，提奥。计算科学。50, 1-102 (1987;Zbl 0625.03037号)]平面化问题。本文的主要结果是：“每一个具体行动都可以用一个正式行动来表示，反之亦然，每一个正式的行动都可以被解释为一个具体的行动”。“具体动作”是一系列基本动作，而形式动作是基于直觉主义线性逻辑片段的线性理论中序列（A_1，dots，A_m\lvdash B\）的证明，该逻辑片段仅包含连接词（乘法连词）和（oplus）（加性析取）是原子公式，证明包含逻辑公理和规则，以及转换公理，即形式为（C1，dots，C_n，lvdash D\）和（C1，dots，C-n）原子公式的闭合序列；\（A_1，\dots，A_m\lvdash B\）的直观含义是消耗\（A_1，\dots，A_m\）和产生\（B\）。本文考虑了“伪方案”的概念，并说明了如何将伪方案与每一个形式行为联系起来；本文的另一个重要结果是，当伪规划的方向是偏序时，伪规划是由形式作用构造的。作者很好地展示了线性逻辑在平面化问题研究中的潜在力量：在这个方向上的进一步发展是可能的，也是受欢迎的。审核人：V.M.Abrusci（罗马） 引用于1审查引用于8文件 MSC公司： 03B80号 逻辑的其他应用 05年3月 切割消除和正规形定理 03B20型 经典逻辑子系统（包括直觉逻辑） 03B70号 计算机科学中的逻辑 关键词：平面化问题;具体行动;正式诉讼;直觉线性逻辑片断;顺序;伪平面 引文：Zbl 0731.00025号;Zbl 0625.03037号 PDF格式BibTeX公司 XML格式引用 \textit{M.Masseron}等人，Lect。注释计算。科学。无，63-75（1990年；兹bl 0758.03017）