HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 标记逻辑论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
基于XML的次协调推理第64-68页
关键词: 次协调逻辑  标记逻辑  自动推理  
2006年第01期 《武汉大学学报·理学版》
正规经典逻辑BFc的次协调性及推理悖论的解决（上）第11-17页
关键词: 蕴涵  推理  重言系统  自然推理  悖理  标记逻辑  稳固性  二极背反  非此即彼  正则性  应用公理  事实的规律层次  事实的现实层次  
2006年第03期 《河池学院学报》
正规经典逻辑BFc的次协调性及推理悖论的解决（下）第11-20页
关键词: 蕴涵  推理  重言系统  自然推理  悖理  标记逻辑  稳固性  二极背反  非此即彼  正则性  应用公理  事实的规律层次  事实的现实层次  
2006年第04期 《河池学院学报》
期刊导航