首页 | 本学科首页   官方微博 | 高级检索  
    检索          
共有20条相似文献,以下是第1-20项 搜索用时 171 毫秒

1.  扰动模糊命题逻辑系统中的广义重言式  被引次数:1
   陈图云  孟艳平  吴凤干《模糊系统与数学》,2005年第19卷第4期
   通过定义二维R0-蕴涵算子,将王国俊教授在逻辑系统形中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统西中,证明了这一系统中(μ,δ)-重言式就是某个(λ,1-λ)-重言式,最终获得与一维线性赋值格上完全相应的广义重言式分类。    

2.  扰动模糊命题逻辑的代数结构及其广义重言式性质  被引次数:5
   韩莹  陈森发《高校应用数学学报(A辑)》,2005年第20卷第4期
   着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.    

3.  系统RDP中的广义重言式理论  被引次数:1
   黄阿敏  裴道武《模糊系统与数学》,2010年第24卷第4期
   研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重言式.将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可迭0-重言式和可达(1/2)-重言式分别提升为可这(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式.这表明对非重言式有限次利用升级算法未必能得到重言式.    

4.  修正的G(o)del逻辑系统中三类无限子代数及其F(S)的分划  被引次数:1
   李修清  林亮《模糊系统与数学》,2010年第24卷第6期
   将修正的G(o)del逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G-中三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G-的三类子代数中分另q给出F(S)关于→同余的一个分划.    

5.  修正的Product逻辑系统中的广义重言式理论  
   刘练珍  李开泰《模糊系统与数学》,2005年第19卷第1期
   首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分;其次通过引入一类特殊的公式序列和特殊公式,进一步证明了对任意有理数a∈[0,1],可达α-重言式集是类类非空的,并同时给出了修正的Product逻辑系统中广义重言式的升级算法。    

6.  区间值模糊命题逻辑的最大子代数及其广义重言式  被引次数:7
   陈图云  张宇卓  廖士中《模糊系统与数学》,2003年第17卷第2期
   将S-型蕴涵算子改为R0-蕴涵算子,从而找到区间值模糊逻辑I[0,1]的一个最大子代数IQ,进而将王国俊教授在逻辑系统W中的广义重言式理论推广应用到IQ中。    

7.  积逻辑系统中的广义重言式  被引次数:15
   裴道武  李骏《模糊系统与数学》,2002年第16卷第4期
   讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。    

8.  Kleene蕴涵算子的导出算子的n值逻辑系统In  
   程贞敏  尤飞  李洪兴《模糊系统与数学》,2005年第19卷第1期
   考虑了Kleene蕴涵算子的导出算子的三值逻辑系统I3 和n值逻辑系统In(n >3)。首先,给出I3的真值表,证明了I3 是二值逻辑系统C2 的推广。其次,讨论了I3 中的重言式与IPC公理之间以及I3 中的准重言式与C2 中的重言式之间的关系。接着,考虑了In中的子代数。最后,考虑了不同逻辑系统In中的重言式之间的关系    

9.  Lukasiewicz多值逻辑系统中的广义重言式理论  被引次数:19
   杨晓斌  张文修《模糊系统与数学》,2000年第14卷第1期
   引入一类特殊的公式序列Ak,k=1,2,…,证明了在Lukasiewicz多值逻辑系统,对任意真值a∈Ln而言,可达a-重言式类类不空,进一步证明了系统中广义重言式的类类互异定理,最后讨论了Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。    

10.  系统Hα中F(S)的一个分划及一种升级算法  
   于鸿丽  吴洪博《模糊系统与数学》,2007年第21卷第4期
   研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并给出了各类间的一种升级算法,证明在系统Hα中,重言式不可能由对非重言式进行有限次升级算法得到。    

11.  Goedel逻辑系统中的广义重言式理论  被引次数:8
   吴洪博《模糊系统与数学》,2000年第14卷第4期
   本文将王国俊教授在逻辑系统/W,W,Wk中的广义重言式理论进行推广并应用到了Gooedel逻辑系统/G,G,Gn中。主要结果是:在逻辑系统/G,G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在/G,G,Gn中给出了F(S)的一个关于→同余的分划。    

12.  Gdel逻辑系统中的广义重言式理论  
   吴洪博《模糊系统与数学》,2000年第4期
   本文将王国俊教授在逻辑系统 W,W,Wk中的广义重言式理论进行推广并应用到了Goo¨ del逻辑系统 G,G,Gn 中。主要结果是 :在逻辑系统 G,G中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;在逻辑系统 Gn 中 ,对任一公式最多进行 n次升级算法即可得到重言式 ;利用可达广义重言式概念和 α-矛盾式概念分别在 G,G,Gn 中给出了 F( S)的一个关于 同余的分划。    

13.  G(o)del逻辑系统中的广义重言式理论  被引次数:12
   吴洪博《模糊系统与数学》,2000年第14卷第4期
   本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(G-),G,Gn中.主要结果是 :在逻辑系统(G-),G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在(G-),G,Gn中给出了F(S)的一个关于同余的分划.    

14.  逻辑系统RDP中广义重言式的语义MP、HS规则  
   《模糊系统与数学》,2014年第4期
   将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1/2中,广义语义(1/2)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义1/2-MP,1/2-HS规则不成立。    

15.  板模型中具广义边界条件的迁移算子的谱分析  
   王胜华  郑远广《数学的实践与认识》,2006年第36卷第10期
   在LP(1 P<∞)空间研究了板模型中一类带广义边界条件具各向异性、连续能量、均匀介质迁移算子的谱,证明了该迁移算子生成C0半群的D yson—Ph illips展开式的二阶余项在LP(1    

16.  标度广义效应代数和标度效应代数的结构  
   李永明《数学学报》,2008年第51卷第5期
   研究了标度广义效应代数与标度效应代数的代数结构,给出了比较完整的结果.通过引入全标度广义代数的概念,本文证明了区间[0,1)上的标度广义效应代数和单位区间[0,1]上的标度效应代数完全由单位区间上的阿基米德余模确定,标度广义效应代数恰同构于全标度广义代数的下集.若标度广义代数满足局部有限条件,则它同构于实数加法群的子群代数.满足(S)条件的标度效应代数同构于实数加法群的子群代数和全标度广义代数的字典序乘积的子代数.    

17.  强De Morgan代数上的广义R0 t-模  
   魏萍  张小红《模糊系统与数学》,2007年第21卷第5期
   在De Morgan代数上引入广义R0算子,举例说明了一般De Morgan代数中的广义R0算子不能构成t-模。引入强De Morgan代数的概念,讨论它的基本性质,证明强De Morgan代数L上的广义R0算子构成t-模(称为广义R0t-模)。给出若干重要反例,并证明强De Morgan代数上的广义R0t-模是左连续的。    

18.  交错代数与 Jordan 代数的次理想  被引次数:2
   刘绍学《数学进展》,1964年第1期
   在文章[1],[2],[3]中分别对羣,Lie代数和结合环建立了次理想理论。在文章章[4]中对此理论在Lie代数的情形补充了一个定理。一个代数(环,羣)的次理想就是能出现在此代数(环,羣)的某一正规列中的子代数(子环,子羣),亦即,代数R的子代数A是R的次理想,若存在有R的子代数A_i,i=0,1,…,n,使其中n是自然数,A_i是A_(i+l)中的理想,i=0,1,…,n~-1。本文目的在于对交错代数和Jordan代数证明相应理论中的一些定理。即是讨论下面这些问题:什么时候次理想是理想,什么时候次理想之和仍是次理想,什么代数的每一子代数都是次理想,最后,一代数    

19.  板几何中具广义边界条件的迁移算子的谱  被引次数:1
   吴红星  王胜华《南昌大学学报(理科版)》,2009年第33卷第5期
   在L~p(1≤p≤∞)空间研究了板几何中具广义边界条件下各向异性、连续能量、非均匀介质的迁移算子的谱,证明了:这类迁移算子产生C_0半群和该C_0半群的Dyson-Phillips展开式的二阶余项在L~p(1≤p≤∞)空间是紧的及在L~1空间是弱紧的,并得到了该迁移算子在区域Γ中仅由有限个具有限代数重数的离散本征值组成等结果.    

20.  模糊逻辑代数的Loomis—Sikorski表现定理  
   刘贤江  张家录《模糊系统与数学》,2008年第22卷第3期
   通过研究MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的赋值(从模糊逻辑代数L到单位区间[0,1]的同态)与滤子之间的关系,建立了MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的Loomis-Sikorski表现定理.    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号