互逆主义命题演算

摘要：

本文提出互逆主义命题演算,包括一层命题演算和二层命题演算.一层命题演算研究从事实命题到单经数命题的归纳复合和从单经数命题到事实命题的分解.二层命题演算研究从单经数命题到单逻命题的归纳复合和从单逻命题到单经数命题的分解.互逆主义命题演算在许多方面要优于经典命题演算.

关键词： classical logic classical propositional calculus mutually-inversistic logic first level propositional calculus second level propositional calculus

作者: 周训伟

作者单位: 北京联合大学信息技术研究所 北京100101

会议类型: 国内会议

会议名称: 中国人工智能学会第十三届学术年会

会议地点: 北京

会议语种:中文

页码: 46-51

在线出版日期: 2009-10-01（万方平台首次上网日期，不代表论文的发表时间）