共查询到20条相似文献,搜索用时 296 毫秒
1.
从王国俊教授提出的模糊命题演算形式系统(ξ)*、(ξ)0*的性质以及它们与F.Esteva和L.Godo提出的MTL、IMTL和NM的关系出发,借助代数方法证明了(ξ)*和NM中的公理(L10*)和(NM)可以由一条只含一个命题变元且形式更为简单的公理模式(L*w)代替.这一结果简化了(ξ )*和NM的公理系统. 相似文献
2.
从王国俊教授提出的模糊命题演算形式系统L^*、L0^*的性质以及它们与F.Esteva和L.Godo提出的MTL、IMTL和NM的关系出发,借助代数方法证明了L^*和NM中的公理(L10^*)和(NM)可以由一务只含一个命题变元且形式更为简单的公理模式(LW^*)代替。这一结果简化了L&*和NM的公理系统。 相似文献
3.
4.
通过探究R0代数公理条件的内在联系,给出了R0代数的∨-半格蕴涵表示形式。同时借助L*系统中公理和R0代数条件的对应关系,进一步简化了R0代数的∨-半格蕴涵表示形式,使之在定义上更加符合逻辑代数的特征。 相似文献
5.
基础L*系统的一种扩张——Lukasiewicz系统 总被引:12,自引:1,他引:11
研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。 相似文献
6.
基础R0-代数的性质及在L*系统中的应用 总被引:14,自引:1,他引:13
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相关的R0-代数,提出了基础Ro-代数的观点并讨论了其中的一些性质,在将L*系统中的推演证明转化为相应的R0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L*系统中的模糊演绎定理. 相似文献
7.
针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。 相似文献
8.
吴洪博 《纯粹数学与应用数学》2001,(1)
研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途径 相似文献
9.
拓扑分子格的ST*分离性公理 总被引:3,自引:1,他引:2
由半开元、半拓扑概念出发在拓扑分子格中引入 ST* 分离性公理 ,给出它们的刻画 ,推广文 [2 ]中 T* 分离性公理 ,并得到 ST* 分离性与 T* 分离性之间的关系。 相似文献
10.
11.
利用公式的Σr-真度(文中称为相对真度)理论,在模糊命题逻辑系统(L*n)中提出了任意理论Γ相对于特定理论Γ0的相对发散度和ηΓ0-相容度概念.对于有限理论,给出了其相对于特定理论Γ0的δΓ0-相容度概念,并对两种相容度的性质作了初步探究,揭示了二者之间的内在联系.同时给出任意理论Γ相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画. 相似文献
12.
13.
本文获得了下述结果设A是一可分的单C*-代数,对每个a(≠0)∈A,则都存在可分的忠实不可约*表示(π,Hπ),使得π(a)在Hπ中具有非平凡不变子空间.该结果完全解决了HuaxinLin[1]所提问题. 相似文献
14.
本文讨论了Bergman空间L1α(Ω)中Toeplitz和Hankel算子的W*紧性,得到与L2μ(Ω)上T-H算子紧性[4]类似的某些结果. 相似文献
15.
C*代数上保持不定正交性的线性映射 总被引:2,自引:0,他引:2
设A和B是含单位元的C*代数,s∈A和t∈B是可逆自伴元.对任意的x∈A及z∈B,定义x+=s-1x*s,z+=t-1z*t.假定A是实秩零的并且φA→B是有界线性满射.证明了对任意的x,y∈A,x+y=0 φ(x)+φ(y)=0且xy+=0φ(x)φ(y)+=0都成立的充要条件是φ(1)可逆,φ(1)+φ(1)=φ(1)φ(1)+∈Z(B)(B的中心),并且存在从A到B上的满+同态ψ,使得对所有的x∈A都有φ(x)=φ(1)ψ(x)成立.对于一般C*代数上保正交性的线性映射φ,在假定φ(1)可逆的条件下,也得到类似的结果. 相似文献
16.
分别对Lukasiewicz逻辑系统中的公理在R0系统和G(o)del系统中的真度大小、R0系统逻辑系统中的公理在Lukasiewicz系统和中G(o)del系统的真度大小和G(o)del逻辑系统中的公理在R0系统和Lukasiewicz系统中的真度大小进行了计算和分析,从真度方面研究和分析了常用逻辑系统之间的关系. 相似文献
17.
《数学的实践与认识》2015,(15)
证明了若T是拟-*-A类算子且λ_0是σ(T)的孤立点谱,则E是自共轭算子且满足EH=Ker(T-λ_0)=Ker(T-λ_0)~*,其中E是算子T关于λ_0的Riesz幂等元. 相似文献
18.
基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。 相似文献
19.
给出了有单位元的纯无限单的C*-代数A通过K的扩张代数E的K-理论的一种刻画.证明了K0(E)同构于E中所有具有无限余投影的无限投影的Murry-yon Neumann等价类全体所成的交换群,它还同构于上述投影的同伦等价类或酉等价类全体所成的交换群.还证明了对扩张代数E中的任·满的正元a,存在元索z ∈E,使得x*ax=1,其中K为可分无限维Hilbert空间上紧算子全体所成的C*一代数. 相似文献
20.
设 E是 Hilbert C~*-模,证明了E的每个闭子模均可补的充要条件是 K(E)的每个非零遗传C~*-子代数B,均有形式B=pK(E)p,其中p为L(E)中投影元。 相似文献