首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 62 毫秒
1.
区间值模糊命题逻辑的最大子代数及其广义重言式   总被引:8,自引:0,他引:8  
将S-型蕴涵算子改为R0-蕴涵算子,从而找到区间值模糊逻辑I[0,1]的一个最大子代数IQ,进而将王国俊教授在逻辑系统W中的广义重言式理论推广应用到IQ中。  相似文献   

2.
研究赋值格为非线性序,非运算 |不同于Boole 的补运算′,而蕴含算子→取KleeneDienes的RK 的一种新的四值逻辑系统K24,得到若干结果。特别是,K24中没有重言式,其准重言式恰与C2 中的重言式一致,即QT(K24)= T(C2)。  相似文献   

3.
赋值格为非线性序的Kleene-Dienes四值逻辑系统K24   总被引:1,自引:0,他引:1  
研究赋值格为非线性序,非运算不同于Boole的补运算,而蕴含算子→取Kleene-Dienes的RK的一种新的四值逻辑系统K^24,得到若干结果。特别是,K^24中没有重言式,其准重言式恰与C2中的重言式一致,即QT(K^24)=T(C2)。  相似文献   

4.
Lukasiewicz多值逻辑系统中的广义重言式理论   总被引:21,自引:3,他引:18  
引入一类特殊的公式序列Ak,k=1,2,…,证明了在Lukasiewicz多值逻辑系统,对任意真值a∈Ln而言,可达a-重言式类类不空,进一步证明了系统中广义重言式的类类互异定理,最后讨论了Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。  相似文献   

5.
论Goedel蕴涵算子不宜用于建立模糊逻辑系统   总被引:1,自引:0,他引:1  
通过演绎定理和命题的真度理论指出基于Goedel蕴涵算子的3值逻辑系统反映了直觉主义逻辑的特点。但如果基于Goedel蕴涵算子建立模糊逻辑系统,则相应的语构理论与积分语义理论是不协调的。  相似文献   

6.
扰动模糊命题逻辑系统中的广义重言式   总被引:1,自引:1,他引:0  
通过定义二维R0-蕴涵算子,将王国俊教授在逻辑系统形中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统西中,证明了这一系统中(μ,δ)-重言式就是某个(λ,1-λ)-重言式,最终获得与一维线性赋值格上完全相应的广义重言式分类。  相似文献   

7.
Goedel逻辑系统中的广义重言式理论   总被引:8,自引:3,他引:5  
本文将王国俊教授在逻辑系统/W,W,Wk中的广义重言式理论进行推广并应用到了Gooedel逻辑系统/G,G,Gn中。主要结果是:在逻辑系统/G,G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在/G,G,Gn中给出了F(S)的一个关于→同余的分划。  相似文献   

8.
系统RDP中的广义重言式理论   总被引:1,自引:0,他引:1  
研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重言式.将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可迭0-重言式和可达(1/2)-重言式分别提升为可这(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式.这表明对非重言式有限次利用升级算法未必能得到重言式.  相似文献   

9.
通过演绎定理和命题的真度理论指出基于Go¨del蕴涵算子的3值逻辑系统反映了直觉主义逻辑的特点。但如果基于Go¨del蕴涵算子建立模糊逻辑系统,则相应的语构理论与积分语义理论是不协调的。  相似文献   

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

11.
给出了三族模糊蕴涵算子分别称它们为L-λ-0(λ∈[21,1])、L-λ-G(λ∈[0,1])与L-λ-0-λ-G(λ∈[0,1])族模糊蕴涵算子。L-λ-0族算子包括Lukasiewicz(简称RLu)算子与R0算子,L-λ-G族算子包括RLu算子与Go。del(简称RG)算子,L-λ-0-λ-G族算子包括RLu算子、R0算子与RG算子。本文主要讨论L-λ-G(λ∈[0,1])族模糊蕴涵算子的伴随算子及其正则性。  相似文献   

12.
基于Lukasiewicz蕴涵算子的反向三I算法   总被引:10,自引:2,他引:8  
三Ⅰ算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文针对Lukasiewicz蕴涵算子讨论FMP模型及FMT模型的反向三Ⅰ推理及反向α-三Ⅰ推理,借助该蕴涵算子的性质,给出相应的推理算法。  相似文献   

13.
Reflexivity of Operator Weighted Shifts   总被引:1,自引:0,他引:1  
ReflexivityofOperatorWeightedShiftsLiJuexian(李觉先)(DepartmentofMathematics,LiaoningUniversity,Shengyang,110036)ZhaoTianxia(赵天霞...  相似文献   

14.
AnExampleonOperatorIdealsZhongHuaijie(钟怀杰)(DepartmentofMathematics,FujianNormalUniversity,Fuzhou,350007)Abstract:LetX=l1+l2.D...  相似文献   

15.
We present a new simple proof of the structural result for elementary operators on standard operator algebras. Using the idea of this short proof we can characterize surjective maps between standard operator algebras having a certain multiplicativity-like property appearing in the abstract definition of elementary operators of length one. In particular, we show that such maps are automatically additive.  相似文献   

16.
We present a new simple proof of the structural result for elementary operators on standard operator algebras. Using the idea of this short proof we can characterize surjective maps between standard operator algebras having a certain multiplicativity-like property appearing in the abstract definition of elementary operators of length one. In particular, we show that such maps are automatically additive.  相似文献   

17.
During the last ten to fifteen years , a lot of progress has been achieved in the study of complex operator spaces. In this paper, we show that a corresponding theory can be developed for real operator spaces. With some appropriate modifications, many complex results still hold for real operator spaces.  相似文献   

18.
We consider various systematic ways of defining unbounded operator valued integrals of complex functions with respect to (mostly) positive operator measures and positive sesquilinear form measures, and investigate their relationships to each other in view of the extension theory of symmetric operators. We demonstrate the associated mathematical subtleties with a physically relevant example involving moment operators of the momentum observable of a particle confined to move on a bounded interval.  相似文献   

19.
研究了算子空间的原子性.证明了算子空间V是原子当且仅当V是正合且有限内射; V内的任意一个有限维算子子空间是原子当且仅当V是原子且V内任意有限维算子子空间足V的完全补.因此作为推论,得到了无限维箅子空间V的任意有限维子空间是原子,则V是1-Hilbertian和1-齐次.  相似文献   

20.
《随机分析与应用》2013,31(4):659-664
Abstract

Jajte introduced the operator semi-stable distributions on R n in [2 Jajte , R. 1977 . Semi-stable probability measures on R N . Studia Math. 61 : 2939 . [Google Scholar]] and proved an important fact: A full distribution μ is operator semi-stable, if and only if, there exist a number c(0 < c < 1), a vector h ∈ R n , and a nonsingular linear operator B in R n such that the formula μ c  = Bμ*δ(h) holds. In this paper, we make use of the eigenvalue of the matrix B to give a necessary and sufficient condition for ∫|x|≤1|x| r M(dx) < ∞, where M is the Lévy measure of μ. Also, we use the symmetric group of μ to characterize the operators B in (1).  相似文献   

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

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