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

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

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

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

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

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

6.  格蕴涵代数的区间值模糊子代数  
   秦学成  刘春辉《纯粹数学与应用数学》,2011年第27卷第6期
   将区间值模糊集的概念应用于格蕴涵代数,引入区间值模糊格蕴涵子代数的概念并研究它们的性质.讨论了区间值模糊格蕴涵子代数与(模糊)格蕴涵子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊格蕴涵子代数的象和原象成为区间值模糊格蕴涵子代数的条件.    

7.  直觉模糊命题逻辑的广义拟重言式及其分类  被引次数:2
   陈图云  吴凤干  汤服成《模糊系统与数学》,2004年第18卷第Z1期
   通过定义一个蕴涵算子,建立一个直觉模糊命题逻辑系统(I20, ,V,→T),讨论了系统I20上的广义拟重言式的分类,将王国俊教授的广义重言式理论从一维推广到二维的直觉模糊命题逻辑上.    

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

9.  R0-代数(NM-代数)的区间值模糊子代数  
   刘春辉  吴静《模糊系统与数学》,2012年第26卷第3期
   将区间值模糊集的概念应用于R0-代数,引入区间值模糊R0-子代数的概念并研究它的性质。给出了区间值模糊集成为区间值模糊R0-子代数的一个充要条件;讨论了区间值模糊R0-子代数和R0-子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊R0-子代数的象和原象成为区间值模糊R0-子代数的条件。    

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

11.  G(o)del逻辑系统中的广义重言式理论  被引次数:12
   吴洪博《模糊系统与数学》,2000年第14卷第4期
   本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(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.  模糊蕴涵算子的后件单调性及其构造的模糊系统的数学表示  
   张宇卓《模糊系统与数学》,2010年第24卷第4期
   根据模糊蕴涵算子θ(a,b)关于后件变量b的单调性,将文献中的400多个蕴涵算子分为三类,即后件单增(减)和后件非单调模糊蕴涵算子.进一步,给出了不同类型的蕴涵算子构造的模糊系统的数学表达式.结果表明:若后件单增蕴涵算子θ(a,b)满足θ(a,1)=φ(a)或后件单残蕴涵算子θ(a,b)满足φ(a,0)=(a)(其中φ(a)为关于a的函数.且当0    

14.  R_0-代数[0,1]的子代数与广义重言式  被引次数:12
   王龙春  王国俊《数学学报》,2004年第47卷第3期
   本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数[0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。    

15.  赋值格为非线性序的KleeneDienes四值逻辑系统K_4~2  
   郑亚林  张文修《模糊系统与数学》,1999年第3期
   研究赋值格为非线性序,非运算 |不同于Boole 的补运算′,而蕴含算子→取KleeneDienes的RK 的一种新的四值逻辑系统K24,得到若干结果。特别是,K24中没有重言式,其准重言式恰与C2 中的重言式一致,即QT(K24)= T(C2)。    

16.  赋值格为非线性序的Kleene-Dienes四值逻辑系统K24  被引次数:1
   郑亚林  张文修《模糊系统与数学》,1999年第13卷第3期
   研究赋值格为非线性序,非运算不同于Boole的补运算,而蕴含算子→取Kleene-Dienes的RK的一种新的四值逻辑系统K^24,得到若干结果。特别是,K^24中没有重言式,其准重言式恰与C2中的重言式一致,即QT(K^24)=T(C2)。    

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

18.  区间值模糊命题逻辑系统的广义恒真式  被引次数:5
   陆秋君  吴望名《模糊系统与数学》,2001年第15卷第2期
   建立区间值模糊命题逻辑系统F(∨,∧,σ┴,c),其中,α^-θ┴b=(α^-)^c┴b^-,┴是I[0,1]中的t-余范;讨论系统F(∨,∧,σ┴,c)与对应的模糊命题逻辑系统F(∨,∧,σ┴,c)在广义恒真式方面的相互关系,得到定理:T^-[0,α](F^-∨,∧,σ┴,c)=Tα(F(∨,∧,σ┴,c))。    

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

20.  亚模糊命题与重言式  
   杨晓斌  马新生《南昌大学学报(理科版)》,2006年第30卷第1期
   引入了亚模糊命题的概念。在Gaines-Rescher的蕴涵算子下,证明了简单亚析取式A是重言式的必要条件为A包含环公式为其子公式。    

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

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