文献类型：期刊文章

作　　者：吴洪博[1] 阎满富[1]

机构地区：[1]唐山师范学院数学系,河北唐山063000

出　　处：《工程数学学报》

年　　份：2001

卷　　号：18

期　　号：4

起止页码：61-68

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSCD、CSCD2011_2012、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：将王国俊教授于 1997年以来在逻辑系统 W、W、Wk中引入的广义重言式理论加以扩充、推广 ,引入α 矛盾式等概念并应用于G¨odel逻辑系统 G、G、Gn中 ,得到了 (1)在逻辑系统 G、G 中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;(2 )在逻辑系统Gn中 ,对任一公式最多进行n - 1次升级算法即可得到重言式 ;(3)在逻辑系统Gn 中 ,C(Gn) ,in- 1-C(Gn) ,in- 1-T(Gn) ,T(Gn) ｜i∈ { 1,2 ,… ,n- 2 }是F(S)的一个关于同余的分划 ;在逻辑系统 G中 ,C( G) ,(12 ) - -C( G) ,12 -C( G) ,[1- ]-C( G) ,[0 +]-T( G) ,12 -T( G) ,(12 ) +-T( G) ,T( G)是F(S)的一个关于同余的分划。 (4)在 [0 ]-T(R) (R ∈ { G ,G ,Gn} )

关 键 词：模糊逻辑 语义 广义重言式 广义矛盾式 升级算法  分划  降级算法  Goedel逻辑系统  

分 类 号：B815.6]