东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

中间逻辑中的良构范式

期刊名称：数学学报（中文版），Vol. 51, No. 1, 181-190, 2008
时间：0
分类：O141.1[理学—数学;理学—基础数学] O141.2[理学—数学;理学—基础数学]
作者机构：[1]清华大学计算机科学与技术系,北京100084, [2]贵州师范大学数学与计算机科学学院,贵阳550001, [3]贵州科学院,贵阳550001
相关基金：国家自然科学基金资助项目（60573009,60703095）;贵州省长基金资助项目（2005（212））
相关项目：基于回答集语义的约束逻辑程序设计

关键词：良构范式, 中间逻辑, 蕴含范式, well-formed normal form, intermediate logic, implicational normal form

中文摘要：

本文在中间逻辑中引入了良构范式的概念，为该类范式的研究提出了一个通用方法，并应用该方法证明了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.

同期刊论文项目