维普中文期刊产品整合服务
论文检测
中文科技期刊数据库 > 期刊导航 > 西安邮电学院学报 > 2011年5期 > 可计算性逻辑中CL4系统定理证明

可计算性逻辑中CL4系统定理证明

On theorems in system CL4 of computability logic 在线阅读 下载全文 收藏本页 导出题录
分享
作  者:马晓珏[1] 高影响力作者 MA Xiao-jue (School of Science, Xi'an University of Posts and Telecommunications, Xi'an 710121 ,China) 机构地区:[1]西安邮电学院理学院,陕西西安710121 高影响力机构 出  处:西安邮电学院学报》 2011年第16卷第5期 80-82页,共4页高影响力期刊 《Journal of Xi'an Institute of Posts and Telecommunications》 基  金:陕西省教育厅科研计划基金资助项目(09JK722) 摘  要:可计算性逻辑的形式系统CLA具有强大的表达能力和很好的应用前景,为了进一步完善其理论基础,采用严格的逻辑方法,对该系统中的相关重要定理进行证明。证明过程及其结果显示,该系统中的一般原子表示一般的可计算性问题,在意义上有别于经典逻辑中的原子。 Considering that the system CL4 of computability logic is of strong expressing power and beautiful application prospect, some important theorems relevant to this system are proved strictly with logical means employed. The process and results show that, the generalized atoms, which serve to indicate the general problem of computability logic, are distinct from the ones serving in classical logic. 关 键 词:可计算性逻辑 CL4系统 定理证明 computability logic system CL4 theorem proving 分 类 号: TP182 [工业技术 > 自动化技术、计算机技术 > 自动化基础理论 > 人工智能理论 > 专家系统、知识工程]高被引论文
作者简介:马晓珏(1978-),女,讲师,在读博士,研究方向:逻辑与推理,E-mail:mingkeming@126.com。

公司首页 | 关于我们 | 联系我们 | 帮助中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费