论文检索
论文发表
当前位置：主页 > 社科论文 > 逻辑论文 >

命题逻辑的证伪系统

发布时间：2017-10-01 10:28

  本文关键词：命题逻辑的证伪系统


  更多相关文章： 证伪系统 古典命题逻辑 直觉主义命题逻辑 模态命题逻辑


【摘要】：一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统Ns诤拖６匦椭の毕低矵s，

本文编号：952974

资料下载
论文发表

本文链接：https://www.wllwen.com/shekelunwen/ljx/952974.html

上一篇：“2014年全国现代逻辑学术研讨会”综述  
下一篇：演绎推理和模糊推理在潜艇攻击中的运用研究
论文发表
最近更新
教材专著
热点文章

Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明：资料由用户7c148***提供，本站仅收录摘要或目录，作者需要删除请E-mail邮箱bigeng88@qq.com