中间逻辑中的良构范式
发布时间：2018-08-05 17:09
【摘要】：本文在中间逻辑中引入了良构范式的概念,为该类范式的研究提出了一个通用方法,并应用该方法证明了HT逻辑是存在一般蕴含范式的最弱中间逻辑,经典命题逻辑CPL是存在限制蕴含范式的仅有中间逻辑.
[Abstract]:In this paper, the concept of well-structured normal form is introduced into the intermediate logic, and a general method is proposed for the study of this kind of normal form. By using this method, it is proved that HT logic is the weakest intermediate logic in the existence of general implied normal form. Classical propositional logic (CPL) is the only intermediate logic in which there is a restricted implied normal form.
【作者单位】： 清华大学计算机科学与技术系 贵州师范大学数学与计算机科学学院 贵州师范大学数学与计算机科学学院
【基金】：国家自然科学基金(60573009，，60703095) 贵州省长基金(2005(212))
【分类号】：O141.1
本文编号：2166434
[Abstract]:In this paper, the concept of well-structured normal form is introduced into the intermediate logic, and a general method is proposed for the study of this kind of normal form. By using this method, it is proved that HT logic is the weakest intermediate logic in the existence of general implied normal form. Classical propositional logic (CPL) is the only intermediate logic in which there is a restricted implied normal form.
【作者单位】： 清华大学计算机科学与技术系 贵州师范大学数学与计算机科学学院 贵州师范大学数学与计算机科学学院
【基金】：国家自然科学基金(60573009，，60703095) 贵州省长基金(2005(212))
【分类号】：O141.1
本文编号：2166434
本文链接：https://www.wllwen.com/shekelunwen/ljx/2166434.html
