文献类型：期刊文章

作　　者：潘正华[1]

机构地区：[1]江南大学理学院数理研究所,无锡214122

出　　处：《计算机科学》

基　　金：国家自然科学基金(60575038)资助课题。

年　　份：2006

卷　　号：33

期　　号：10

起止页码：131-133

语　　种：中文

收录情况：BDHX、BDHX2004、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

摘　　要：中介逻辑ML(MediumLogic)是近年提出的一种非经典逻辑。在ML的系统特征理论中已证明ML具有语义完全(完备)性。本文研究了ML的语法完全性,证明了如下结果:(1)ML中的中介命题逻辑系统MP及其扩张MP*是语法完全的,中介谓词逻辑系统MF与其扩张MF*,以及含有等词的中介谓词逻辑系统ME不是语法完全的。(2)一般地,如果一个协调的逻辑形式系统不是语法完全的,则它的任何协调的扩张系统也不是语法完全的。

关 键 词：中介逻辑 形式系统  协调性  语义完全性  语法完全性  

分 类 号：TP18]