首页> 中文会议>中国电子学会第十一届青年学术年会 >高阶逻辑中关系理论的表示

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《中国电子学会第十一届青年学术年会》|2005年|1251-1255|共5页
会议地点济南
作者
赵锡英; 兰州工业高等专科学校; 李廉; 陈波; 李彩红;
展开▼
作者单位

中国电子学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类数理逻辑、数学基础;
关键词
等价关系; well-founded; 高阶逻辑; HOL系统; 关系理论;
入库时间 2022-08-17 11:18:48

相似文献

中文文献
外文文献
专利

1. 科技英语中and表示的逻辑关系及其译法 [J] . 赵忠德 . 语言教育 . 1998,第008期
2. 契约论中权利与权力的关系--基于契约理论形成的内在逻辑视角 [J] . 赵悦含 . 智库时代 . 2020,第026期
3. 浅谈释意理论视角下汉英口译中逻辑关系的显化翻译 [J] . 李强 . 中国轻工教育 . 2014,第005期
4. 让经济逻辑回归文化自觉——亚当·斯密理论体系中两条主线关系的辨正 [J] . 田永峰 ,王仕军 . 湖北经济学院学报 . 2012,第001期
5. 论异化劳动逻辑的困境——从私有财产理论看《手稿》中社会关系维度的缺失 [J] . 陈浩 . 思想战线 . 2009,第006期
6. 连续傅里叶变换基础理论的高阶逻辑形式化 [C] . LV Xing-li ,吕兴利 ,SHI Zhi-ping . 2014湖北省计算机学会学术年会 . 2014
7. 衔接理论指导下《生物医学》汉译语篇中逻辑关系的再现 [A] . 龚振林 . 2018

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

摘要

著录项

相似文献

相关主题

期刊订阅