命题逻辑的证伪系统

作者：刘新文

来源：湖南科技大学学报(社会科学版), 2011, (03): 23-25.

• 证伪系统
• 古典命题逻辑
• 直觉主义命题逻辑
• 模态命题逻辑 refutation system
• classical propositional logic
• propositional intuitionistic logic
• propositional modal logic

一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系统H珚,本文在此基础上做进一步的推广以包括直觉主义命题逻辑、模态命题逻辑的证伪系统并做一般性讨论。

• 单位
  中国社会科学院