限定逻辑的表列方法

• 作者: 孔红
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 限定逻辑 表列 极小后承
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 27-31
• 页数: 5页
• 分类号: B81
• 字数: 5775字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2013.09.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孔红	中国政法大学人文学院	8	13	2.0	3.0