双直觉逻辑的无割线序演算:扩展版本

摘要:双直觉逻辑的完备简单校验

作者:Linda Buisman and Rajeev Gor''e

论文ID:0704.1707

分类:Logic in Computer Science

分类简称:cs.LO

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中