黄林鹏,孙永强.一个新的证明网定义及合理性.软件学报,1994,5(10):33-37 |
一个新的证明网定义及合理性 |
A NEW DEFINITION OF PROOF-NETS |
投稿时间:1991-12-12 修订日期:1992-06-13 |
DOI: |
中文关键词: 线性逻辑,证明网,并行计算 |
英文关键词:Linear logic, proof-nets, parallel computation. |
基金项目: |
|
摘要点击次数: 2998 |
全文下载次数: 2814 |
中文摘要: |
本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理.和Girard的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为O(n*n),并且在证明所定义的证明网是可矢列化时更加自然和简单. |
英文摘要: |
This paper presents a new definition of proof-net and proves that what the authors defined is the "natural deduction of linear logic". The complealty of deciding whether a given proof structure is a proof-net by definition is O(n * n), by the way, the proof of sequentialization of proof-nets so defined is very natural and simple. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |