Correctness of linear logic proof structures is NL-complete

Paulin Jacobe de Naurois; Virgile Mogbil

首页> 外文期刊>Theoretical computer science >Correctness of linear logic proof structures is NL-complete

【24h】

Correctness of linear logic proof structures is NL-complete

机译：线性逻辑证明结构的正确性是NL完全的

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a linear logic proof structure is NL-complete.

机译：我们为线性逻辑的所有片段（乘法，指数，加法）提供了新的正确性标准。我们使用这些标准来证明确定线性逻辑证明结构的正确性是NL完全的。

著录项

来源
《Theoretical computer science》 |2011年第20期|共17页
作者
Paulin Jacobe de Naurois; Virgile Mogbil;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类一般性问题;数学;
关键词
Complexity classes; Correctness criteria; Linear logic; Nondeterministic logspace;

机译：复杂度类别正确性准则线性逻辑非确定性对数空间;

相似文献

外文文献
中文文献
专利

1. Correctness of linear logic proof structures is NL-complete [J] . Paulin Jacobe de Naurois, Virgile Mogbil Theoretical computer science . 2011,第20期

机译：线性逻辑证明结构的正确性是NL完全的
2. Focused Proof Search for Linear Logic in the Calculus of Structures [J] . Nicolas Guenot LIPIcs : Leibniz International Proceedings in Informatics . 2010,第30期

机译：侧重于结构中的线性逻辑的重点证明
3. On structuring proof search for first order linear logic [J] . Paola Bruscoli, Alessio Guglielmi Theoretical computer science . 2006,第1a3期

机译：关于一阶线性逻辑的结构证明搜索
4. Correctness of Multiplicative Additive Proof Structures is NL-Complete [C] . Paulin Jacobe de Naurois, Virgile Mogbil IEEE Computer Society Technical Committee on Mathematical Foundations of Computing . 2008

机译：乘法添加剂证明结构的正确性是NL-完成的
5. A categorical approach to linear logic, geometry of proofs and full completeness. [D] . Haghverdi, Esfandiar. 2000

机译：线性逻辑，证明几何和完全完整性的一种分类方法。
6. Correcting for Population Structure and Kinship Using the Linear Mixed Model: Theory and Extensions [O] . Gabriel E. Hoffman -1

机译：使用线性混合模型校正人口结构和亲属关系：理论和扩展
7. Correctness of Linear Logic Proof Structures is NL-Complete [O] . Jacobé De Naurois, Paulin, Mogbil, Virgile 2011

机译：线性逻辑证明结构的正确性是NL完全的

Correctness of linear logic proof structures is NL-complete

摘要

著录项

相似文献

相关主题

期刊订阅