期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

古典命题逻辑与模态命题逻辑的自然推理系统之比较

下载PDF

导出

摘要模态命题逻辑的自然推理系统TN、S4N、S5N与古典命题逻辑的自然推理系统PN相比:形式语言有了扩张;推理规则增多,且相同推理规则的作用范围扩大;推出的定理数量增多;推理能力大大增强。

作者姚从军

机构地区湖南科技学院两课部

出处《湖南科技学院学报》 2008年第9期74-76,82,共4页 Journal of Hunan University of Science and Engineering

基金 2007年湖南科技学院重点科研项目"古典命题逻辑与模态命题逻辑的比较"(07XKYTA011)的研究成果之一。

关键词古典逻辑模态逻辑自然推理系统

分类号 O14 [理学—基础数学]

引文网络
相关文献

参考文献1

1宋文坚.新逻辑教程[M].北京:北京大学出版社,1991.

共引文献1

1姚从军.古典命题逻辑与模态命题逻辑的语义之比较[J].湖南科技学院学报,2009,30(2):90-91.

1莫绍揆.两型自然推理系统的比较[J].贵州科学,1992,10(1):1-8.
2刘虎明.自然推理方法的改进[J].咸阳师范学院学报,1999,15(S1):32-34.
3何自强.离散数学中与量词有关的推理规则[J].北京航空航天大学学报,2000,26(4):432-434. 被引量：2
4王太忠.对自然推理系统P_N中假设前提销去规则(Hyp^-)的理解[J].昆明师范高等专科学校学报,2007,29(2):41-42.
5王太忠.自然推理系统中的假设前提引入与消去规则[J].西昌学院学报（自然科学版）,2012,26(2):37-41.
6李娜.关于模态命题公式的一种布尔值[J].中山大学学报（社会科学版）,2003,43(S1):101-104.
7孟令江.自然推理系统P中的P∧Q■P[J].河北大学学报（自然科学版）,2009,29(3):238-240.
8李宝健.命题逻辑中推理理论的数字形式[J].北方工业大学学报,2002,14(3):18-20.
9姚从军.模态命题逻辑系统K、D、T、S4、S5、B之比较[J].毕节学院学报（综合版）,2009,27(4):4-9. 被引量：2
10卞拓蒙.形式化量子力学不必使用量子逻辑[J].逻辑学研究,2010,3(1):51-72.

湖南科技学院学报

2008年第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部