抽象和求精过程中用算子标识约束信息

摘要：

本文研究抽象逻辑的自然演绎系统.针对一般的约束概念,给出基于高阶逻辑和类型理论的形式化描述.

关键词： 抽象逻辑 约束信息 高阶逻辑 类型理论

作者: 程晓春 欧阳丹彤

作者单位: 中国科学院软件研究所计算机科学开放研究实验室(北京) 吉林大学计算机科学系(长春)

会议类型: 国内会议

会议名称: 2001年全国理论计算机科学学术会议

会议地点: 福州

会议语种:中文

页码: 66-75

在线出版日期: 2001-09-01（万方平台首次上网日期，不代表论文的发表时间）