模糊逻辑(ξ)*和NM的公理系统的简化

从王国俊教授提出的模糊命题演算形式系统(ξ)*、(ξ)0*的性质以及它们与F.Esteva和L.Godo提出的MTL、IMTL和NM的关系出发,借助代数方法证明了(ξ)*和NM中的公理(L10*)和(NM)可以由一条只含一个命题变元且形式更为简单的公理模式(L*w)代替.这一结果简化了(ξ )*和NM的公理系统.     

模糊逻辑彩L^＊和NM的公理系统的简化

从王国俊教授提出的模糊命题演算形式系统L^＊、L0^＊的性质以及它们与F．Esteva和L．Godo提出的MTL、IMTL和NM的关系出发，借助代数方法证明了L^＊和NM中的公理（L10^＊）和（NM）可以由一务只含一个命题变元且形式更为简单的公理模式（LW^＊）代替。这一结果简化了L＆＊和NM的公理系统。     

~*命题集的约简及命题集的根

本文的主要目的有两个,第一,在*系统中给出了独立命题集的概念,并定义了命题集的约简;第二,讨论了命题集的根。     

R_0代数的∨-半格蕴涵表示形式及其简化

通过探究R0代数公理条件的内在联系,给出了R0代数的∨-半格蕴涵表示形式。同时借助L*系统中公理和R0代数条件的对应关系,进一步简化了R0代数的∨-半格蕴涵表示形式,使之在定义上更加符合逻辑代数的特征。     

基础L*系统的一种扩张——Lukasiewicz系统

研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。     

基础R0-代数的性质及在L*系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相关的R0-代数,提出了基础Ro-代数的观点并讨论了其中的一些性质,在将L*系统中的推演证明转化为相应的R0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L*系统中的模糊演绎定理.     

命题逻辑系统L*的有效集

针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。     

L~*系统的一种改进系统L_0~*

研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途径     

分配伪补格的主理想

本文给出了分配伪补格 ( L;∧ ,∨ ,* ,0 ,1 )中的主理想 I=( d]成为同余理想的充分必要条件 .当 L是局部有限时 (即 d∈ S( L) ,Fd={x|x* * =d}有限 ) ,对骨架 S( L)中的每个元素 d,我们找到了以 I=( d]为核心的最小同余关系 ,利用以上结果我们得到一个 Stone代数是布尔代数的一些等价条件 .     

拓扑分子格的ST*分离性公理

由半开元、半拓扑概念出发在拓扑分子格中引入 ST* 分离性公理 ,给出它们的刻画 ,推广文 [2 ]中 T* 分离性公理 ,并得到 ST* 分离性与 T* 分离性之间的关系。     

L*n系统中理论的相对发散度和相对相容度

利用公式的Σr-真度(文中称为相对真度)理论,在模糊命题逻辑系统(L*n)中提出了任意理论Γ相对于特定理论Γ0的相对发散度和ηΓ0-相容度概念.对于有限理论,给出了其相对于特定理论Γ0的δΓ0-相容度概念,并对两种相容度的性质作了初步探究,揭示了二者之间的内在联系.同时给出任意理论Γ相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画.     

L*-逆半群的结构

定义了L*-逆半群,并引入了半群左圈积的概念.证明了半群S是一个L*-逆半群,当且仅当S是一个型A半群Γ和一个左正则带B连同结构映射ψ的左圈积B( )ψΓ.这一结果的一个直接推论是关于左逆半群结构的著名Yamada定理.利用半群的左圈积,给出了一个非平凡的L*-逆半群的例子.     

C*-代数中的不变子空间问题

本文获得了下述结果设A是一可分的单C*-代数,对每个a(≠0)∈A,则都存在可分的忠实不可约*表示(π,Hπ),使得π(a)在Hπ中具有非平凡不变子空间.该结果完全解决了HuaxinLin[1]所提问题.     

C*代数上保持不定正交性的线性映射

设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)可逆的条件下,也得到类似的结果.     

Bergman空间L1α(Ω)上的Toeplitz和Hankel算子

本文讨论了Bergman空间L1α(Ω)中Toeplitz和Hankel算子的W*紧性,得到与L2μ(Ω)上T-H算子紧性[4]类似的某些结果.     

模糊逻辑系统公理真度分析

分别对Lukasiewicz逻辑系统中的公理在R0系统和G(o)del系统中的真度大小、R0系统逻辑系统中的公理在Lukasiewicz系统和中G(o)del系统的真度大小和G(o)del逻辑系统中的公理在R0系统和Lukasiewicz系统中的真度大小进行了计算和分析,从真度方面研究和分析了常用逻辑系统之间的关系.     

拟-*-A类算子的Riesz幂等元

证明了若T是拟-*-A类算子且λ_0是σ(T)的孤立点谱,则E是自共轭算子且满足EH=Ker(T-λ_0)=Ker(T-λ_0)~*,其中E是算子T关于λ_0的Riesz幂等元.     

基础模糊命题演算系统BL~*的改进系统

基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。     

纯无限单C*-代数的扩张代数的K-理论Ⅱ

给出了有单位元的纯无限单的C*-代数A通过K的扩张代数E的K-理论的一种刻画.证明了K0(E)同构于E中所有具有无限余投影的无限投影的Murry-yon Neumann等价类全体所成的交换群,它还同构于上述投影的同伦等价类或酉等价类全体所成的交换群.还证明了对扩张代数E中的任·满的正元a,存在元索z ∈E,使得x*ax=1,其中K为可分无限维Hilbert空间上紧算子全体所成的C*一代数.     

L*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性.