文献类型：期刊文章

作　　者：徐扬[1] 秦克云[1] 宋振明[1]

机构地区：[1]西南交通大学应用数学系,成都610031

出　　处：《科学通报》

年　　份：1997

卷　　号：42

期　　号：10

起止页码：1052-1055

语　　种：中文

收录情况：BDHX、BDHX1996、CAS、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、MR、RCCSE、WOS、ZGKJHX、核心刊

摘　　要：<正>文献[1～3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式:

关 键 词：格蕴涵代数 格值逻辑 真值域  语法 演绎定理  

分 类 号：O141[数学类]