高阶逻辑中关系理论的表示

摘要：

一个集合上的数学关系可以简化一个代数系统.所以它是形式化方法中的一个重要概念.HOL系统是基于传统高阶逻辑的交互式定理证明环境.在HOL中可以方便的对一个系统及系统的性质进行描述,但是证明结果的正确性需要用户参与.本文给出了等价性概念在高阶逻辑系统中的表示,并进一步探讨了有关well-founded关系的一些属性.

关键词： 等价关系 well-founded 高阶逻辑 HOL系统 关系理论

作者: 赵锡英 李廉 陈波 李彩红

作者单位: 兰州大学信息科学与工程学院,甘肃,兰州,730000;兰州工业高等专科学校,甘肃,兰州,730000 兰州大学信息科学与工程学院,甘肃,兰州,730000

会议类型: 国内会议

会议名称: 中国电子学会第十一届青年学术年会

会议地点: 济南

会议语种:中文

页码: 1251-1255

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