中间逻辑中的良构范式  

Well-Formed Normal Forms in Intermediate Logics

作　　者：章衡[1] 张明义[2] 杨本娟[2] 

机构地区：[1]清华大学计算机科学与技术系,北京100084 [2]贵州师范大学数学与计算机科学学院

出　　处：《数学学报（中文版）》2008年第1期181-190,共10页Acta Mathematica Sinica：Chinese Series

基　　金：国家自然科学基金(60573009，60703095);贵州省长基金(2005(212))

摘　　要：本文在中间逻辑中引入了良构范式的概念,为该类范式的研究提出了一个通用方法,并应用该方法证明了HT逻辑是存在一般蕴含范式的最弱中间逻辑,经典命题逻辑CPL是存在限制蕴含范式的仅有中间逻辑.We introduce a concept of well-formed normal forms in intermediate logics, and put forward a general method to investigate them. By applying this method, we show that HT is the weakest intermediate logic with general implicational normal form and that CPL is the only intermediate logic with restricted implicational normal form.

关 键 词：良构范式 中间逻辑 蕴含范式 

分 类 号：O141.1[理学—数学] O141.2[理学—基础数学]