-
108浏览
-
0点赞
-
0收藏
-
0分享
-
52下载
-
0评论
-
引用
期刊论文
一个新的证明网定义及合理性*
软件学报,1994,5(10):33~37,-0001,():
本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理。和Girard的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为O(n*n),并且在证明所定义的证明网是可矢列化时更加自然和简单。
【免责声明】以下全部内容由[黄林鹏]上传于[2011年04月25日 15时14分24秒],版权归原创者所有。本文仅代表作者本人观点,与本网站无关。本网站对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考,并请自行承担全部责任。
本学者其他成果
同领域成果