赋值格为菱形格的4值逻辑系统GR_4~1

研究赋值格为非线性序,蕴涵算子→取Gaines－Rescher的RGR的一种4值逻辑系统GR14,得到若干结果．特别是,在系统GR14中,α－MP规则都成立（α＞0）;GR14重言式必是GR14-准重言式,GR14-准重言式必是C2-重言式,即一个公式是GR14中的重言式当且仅当它既是I-重言式又是J-重言式,即．     

基于Lukasiewicz蕴涵算子的-反向三I约束算法

三I推理是针对模糊取式（FMP模型）和模糊拒取式（FMT模型）的一种新的模糊推理方法。讨论在蕴涵算子下的反向三I约束算法,并分别给出了FMP模型及FMT模型中及计算公式。     

赋值格为险象识别格的一种非经典逻辑系统K#(Ⅱ)

研究赋值格为非线性序的一种非经典逻辑低矺#.在该系统中,格结构不同于Boole代数,蕴涵算子→取Kleene-Dienes算子RKD.得到若干结果,特别是K#-准重言式恰是经典命题逻辑C2中的重言式,从而也等于C2中的定理,即QT(K#)=T(C2)=Φ├ .     

乘积格蕴涵代数的理想

在乘积格蕴涵代数中研究乘积格蕴涵代数的理想,乘积格蕴涵代数的各种理想之间的关系,证明了A×B是L1×L2的理想（素理想）当且仅当A,B分别是L1和L2的理想（素理想）,两条Lukasiew icz链Lm和Ln的直积Lm×Ln只有{a1}×Ln和Lm×{b1}两个素理想.     

模糊蕴涵算子族L-λ-G及其应用

讨论了L-λ-G族模糊蕴涵算子的伴随算子及其正则性,指出了在模糊蕴涵算子族L-λ-G中,只有R_(Lu)算子与R_G算子有伴随算子且具有正则性,从而说明了这两种算子是较理想的蕴涵算子.最后通过一个实例,说明了模糊蕴涵算子族L-λ-G在近似推理中的具体应用.     

基于Lukasiewicz蕴涵算子的三Ⅰ约束算法和反向三Ⅰ约束算法

针对Lukasiewicz蕴涵算子,讨论了模糊推理FMP和FMT模型的三Ⅰ约束算法和反向三Ⅰ约束算法,并借助该蕴涵算子的性质。给出了相应的推理结果．     

基手Lukasiewicz蕴涵算子的三Ⅰ约束算法和反向三Ⅰ约束算法

针对Lukasiewicz蕴涵算子,讨论了模糊推理FMP和FMT模型的三Ⅰ约束算法和反向三Ⅰ约束算法,并借助该蕴涵算子的性质,给出了相应的推理结果.     

赋范空间上的共轭线性算子

讨论了复赋范线性空间上的共轭线性箅子，以及这类箅子的连续性、有界性与范数，得到了连续共轭线性算子空间CCL（X，Y）与连续线性箅子空间B（X，Y）之间的关系；引入并研究了复赋范线性空间X的W-对偶空间X^#（CCL（X，C）），定义了共轭线性算子T：X→Y的W^3#-对偶算子T^#：Y^#→X^#与W^x-对偶算子T^x：T^#→X^#，并讨论了它们的一系列重要性质。     

算子方程AX—XB=C的可解性（续）

本文主要讨论了Hilbet空间H=H1 H2上算子A=（A1 0 0 0）,B=(B1 0 0 0)的算子方程AX-XB=C的可解性与算子方程A1X-XB1=C的可解性之间的关系，给出了较[1]更进一步的结果。     

关于格蕴涵代数

讨论了拟格蕴涵代数的基本性质,由此得到：拟格蕴涵代数X为格蕴涵代数当且仅当≤L与≤F一致等若干充要条件.这里,X（X,V,∧,`,→,0,1）为拟格蕴涵代数,≤L为格（X,∨,∧）上的自然偏序关系,≤F为由蕴涵算子→、诱导的偏序关系.     

基于L^＊-格值逻辑上的直觉不分明化环

首先在L^＊-格值逻辑的语义框架下,以L^＊-格值上的Lukasiewicz蕴涵算子为工具,给出了L^＊-格值逻辑上的直觉不分明化环和子环的概念。进一步,在L^＊-格值谓词演算下,给出了环的同态映射f关于直觉模糊集A的直觉不分明化同态核和直觉不分明化商集的定义,并在此基础上讨论了直觉不分明化环、子环和同态核的有关性质,最后得到L^＊-格值逻辑意义下的同态基本定理。     

格蕴涵代数的模糊同余关系

给出了格蕴涵代数的模糊同余关系的定义并研究了其性质,得到了所有模糊滤子集合FF（L）同构于模糊同余关系集合FC（L）.     

逻辑系统H_α中广义语义HS规则证明的改进

将修正的Kleene逻辑系统中语义HS规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义[α]-HS、[α+]-HS等规则,使得对Hα系统中的广义语义HS规则有了更进一步的认识.     

非线性序逻辑系统~2中的重言式

定义了非线性逻辑系统W~2,研究了W~2中的重言式及广义重言式,得到了若干与线性逻辑系统W~2中相类似的结果。     

蕴涵怪论辨析

蕴涵怪论是指在二值逻辑的蕴涵理论中，对蕴涵关系真的所有可能情况作某种解释而产生的怪异现象。蕴涵怪论的产生并非来自蕴涵关系本身。当人们把实质蕴涵的真用某一语句进行解释，或者由重言蕴涵式的必然性得到某种可能性，或者将某种实际的推论看作蕴涵关系时，怪论就可能会产生。蕴涵怪论的存在是实实在在的，试图消除蕴涵怪论的努力促进了蕴涵理论的发展。     

实质蕴涵与自然语言中的相关蕴涵命题分析

实质蕴涵是现代逻辑的一个极其重要的概念,但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。这种状况有悖于逻辑规范和引导人们进行正确思维及表达的宗旨。传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。提出“相关蕴涵,,概念主要是为了对自然语言假言命题进行符合自然语言实际的分析。     

格中模糊集的上、下近似算子

本文定义了格中模糊集合的上、下近似集合,讨论了格中全体模糊集合的集合F（L）上的上、下近似算子的性质,研究F（L）的代数结构,证明在一定条件下（F（L）∧,∨,,aprR,aprR）是一个Pawlak代数。     

格蕴涵代数的T-模糊同余关系

将t-模应用于模糊同余上,引入格蕴涵代数的T-模糊同余,并研究T-模糊同余的性质与一些等价刻画,得到全体T-模糊滤子的集合与T-模糊同余的集合是同构;最后得到了商格蕴涵代数以及同态定理.