10.3969/j.issn.1672-7835.2011.03.005
命题逻辑的证伪系统
一个证伪系统是由证伪公理和证伪规则组成的推演系统.证伪公理都是非有效的公式,而证伪规则保持非有效性.张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N和希尔伯特型证伪系统H,本文在此基础上做进一步的推广以包括直觉主义命题逻辑、模态命题逻辑的证伪系统并做一般性讨论.
证伪系统、古典命题逻辑、直觉主义命题逻辑、模态命题逻辑
14
B813(逻辑学(论理学))
中国社会科学院2006年重大项目"模态逻辑"资助
2011-07-14(万方平台首次上网日期,不代表论文的发表时间)
共3页
23-25