首页> 中文会议>2013年全国应用逻辑学术年会 >限定逻辑的表列方法

限定逻辑的表列方法

页面导航

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

摘要

限定逻辑是由McCarthy创立的非单调逻辑的一个重要分支.限定逻辑最大的困难在于其算法的设计.基于表列方法,可以给出命题限定逻辑和公式限定逻辑两种形式证明程序.

著录项

来源
《2013年全国应用逻辑学术年会》|2013年|27-31|共5页
会议地点北京
作者
KONG Hong; 孔红;
展开▼
作者单位

中国逻辑学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类逻辑学（论理学）;
关键词
限定逻辑; 表列方法; 证明程序; 算法优化;
入库时间 2022-08-17 10:41:38

相似文献

中文文献
外文文献
专利

1. 限定逻辑的表列方法 [J] . 孔红 . 重庆理工大学学报 . 2013,第009期
2. 限定逻辑的表列方法 [J] . 孔红 . 重庆理工大学学报（社会科学版） . 2013,第009期
3. 财务报表列报变革的逻辑——基于IASBFASB关于财务报表列报初步意见的思考 [J] . 胡静 ,孟凡美 . 会计之友 . 2010,第036期
4. 经典逻辑的表列方法 [J] . 张保垒 . 毕节学院学报 . 2010,第012期
5. 自由模态逻辑及其表列系统 [J] . 胡泽洪 ,邓雄雁 . 学术研究 . 2017,第008期
6. 限定领域中汉语语义求解的方法——类型逻辑语义学应用初探 [C] . 高峰 ,陆汝占 . 全国第六届计算语言学联合学术会议 . 2001
7. 线性时间逻辑基于表列、自动机、博弈的模型检测理论研究 [A] . 李健 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号