| 一个新的证明网定义及合理性 |
| |
| 引用本文： | 黄林鹏,孙永强.一个新的证明网定义及合理性[J].软件学报,1994,5(10):33-37. |
| |
| 作者姓名： | 黄林鹏 孙永强 |
| |
| 作者单位： | 上海交通大学计算机系,上海 200030;上海交通大学计算机系,上海 200030 |
| |
| 摘 要： | 本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理．和Ｇｉｒａｒｄ的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为Ｏ（ｎ＊ｎ）,并且在证明所定义的证明网是可矢列化时更加自然和简单．
|
| 关 键 词： | 线性逻辑 证明网 并行计算 |
| 收稿时间： | 1991/12/12 0:00:00 |
| 修稿时间： | 1992/6/13 0:00:00 |
A NEW DEFINITION OF PROOF-NETS |
| |
| Huang Linpeng and Sun Yongqiang.A NEW DEFINITION OF PROOF-NETS[J].Journal of Software,1994,5(10):33-37. |
| |
| Authors: | Huang Linpeng and Sun Yongqiang |
| |
| Abstract: | 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. |
| |
| Keywords: | Linear logic proof-nets parallel computation |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
