BL命题逻辑系统的强同余关系及演绎系统

通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念, 并引入强同余关系, 讨论BL系统中演绎系统和强同余关系之间的联系, 给出二者之间相互转换的方法, 并得到了二者之间相互转换的还原性.     

基于正规剩余格的一个逻辑系统及其完备性

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性.     

粗集代数与蕴涵格、格蕴涵代数、剩余格

在重新定义补运算和构造新蕴涵算子的基础上，证明了偶序对〈R，～R〉不仅可以构成蕴涵格、格蕴涵代数、剩余格，而且可构成正则剩余格和MV-代数。     

关于可除剩余格的构造

对给定的可除剩余格L及a∈L,作者通过一个自然的构造使得主下集↓a={x∈L|x≤a}成为一个可除剩余格La.进一步有,如果L是预线性的或者广义MV-代数,则La亦是.     

次BL代数的推理系统

基于Esko Turnner对BL代数的系统研究，引入了次BL代数的概念，并给出了次BL代数的实例，在次BL代数中建立了一种广泛的推理系统，研究表明，R0代数、Lukasiewicz结构、Goedel结构等均可纳入次BL代数理论之中。     

基于剩余格的一类度量空间及性质

给出剩余格上存在度量的一个充分条件及由该条件决定的该类剩余格上的度量结构, 讨论了该度量结构下该类剩余格中的聚点问题, 并证明了剩余格的基本运算在度量空间中的连续性.     

正则剩余格的⊙理想拓扑空间

运用拓扑学的方法和原理研究正则剩余格的⊙理想概念.首先,在正则剩余格L上以全体⊙理想之集为基建立了一个拓扑空间(L,TL).给出了拓扑空间(L,TL)中集合A的导集、闭包和内部的计算公式.其次,考察了(L,TL)的若干拓扑性质.最后,研究了乘积正则剩余格的积拓扑.     

正交模格上的次BL代数性质

在《正交模格FMO2(n)上的代数结构》的基础上,讨论了一般正交模格上的次BL代数性质,得到了比《正交模格FMO2(n)上的代数结构》更为广泛的结果。     

剩余格

剩余格是具备了一定条件的1 -广群 ,为了研究其结构 ,给出了剩余格的2个特征性质即剩余格中的每个元均为负的 ;一个抽象格L,当“∧”被取为运算时是剩余的 ,当且仅当L的对偶是一个布劳威尔逻辑.在这种情形下 ,剩余运算“∶”被特殊化为蕴涵运算“→”.     

非对合剩余格的犹豫模糊理想

运用犹豫模糊集的方法和原理研究非对合剩余格的理想问题.引入了非对合剩余格的犹豫模糊理想概念,给出了犹豫模糊理想的若干性质,获得了犹豫模糊理想的若干等价刻画,讨论了犹豫模糊理想与理想间的关系.证明了非对合剩余格的犹豫模糊理想的犹豫模糊交集、同态像和同态原像仍为犹豫模糊理想.同时,给出了犹豫模糊理想的犹豫模糊并集成为犹豫模...     

扩展(拓扑)剩余格与Rough集

以扩展剩余格的广义Rough 集为背景,引入拓扑扩展剩余格的概念,研究了它的滤子理论和扩展剩余格中的N-滤子和优拓扑剩余格的v-滤子,并由这些滤子构建了相应的商代数结构。     

正则剩余格的素模糊⊙理想及其拓扑性质

运用Zadeh提出的模糊集概念和运算特征对正则剩余格的模糊⊙理想理论作进一步研究。引入素模糊⊙理想的概念并研究其性质，建立了素模糊⊙理想定理。在全体素模糊⊙理想之集合P P⊙（ L）上构造了一个拓扑T，证明了拓扑空间（ P P⊙（ L），P ）是T0空间。     

否定非对合剩余格的双极值模糊素理想

对否定非对合剩余格的双极值模糊理想问题作进一步深入研究。引入双极值模糊素理想(简称BF-素理想)概念并考察其性质特征。获得了BF-素理想的一些等价刻画, 建立了预线性否定非对合剩余格中的BF-素理想定理, 证明了BF-素理想的NRL-同态像与原像仍为BF-素理想。为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。     

剩余格上n-重正蕴涵滤子的特征及刻画

在剩余格上引入了两类滤子——n-重蕴涵滤子和n-重正蕴涵滤子, 研究它们一系列的特征及性质,得到了剩余格上的非空子集F成为n-重蕴涵滤子和n-重正蕴涵滤子的充要条件,以及 这两类滤子之间相互等价的充要条件。研究结果进一步拓展了剩余格上的滤子理论, 并为其在代数逻辑及计算机信息处理等方面的应用奠定了理论基础。     

否定非对合剩余格的双极值模糊理想格

对否定非对合剩余格的双极值模糊理想问题做进一步深入研究,给出了由一个双极值模糊集生成的双极值模糊理想的定义并建立了其两个表示定理,证明了一个否定非对合剩余格L的全体双极值模糊理想之集BFI(L)在偏序下构成完备Heyting代数,为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。     

剩余格上逻辑度量空间的拓扑性质

首先研究了逻辑度量空间(［0,1］, ρ_R)与度量空间(F(X),H_R)的关系,其次讨论了［0,1］剩余格上逻辑度量空间中Cauchy-列的收敛性问题,最后在一般剩余格上建立了一致拓扑结构,为我们研究一般剩余格的结构提供了一种新的方法,并为逻辑推理系统的鲁棒性分析奠定了理论基础。     

剩余格中的Fuzzy(P)滤子

在剩余格中引入了Fuzzy(P)滤子的概念,得到A是Fuzzy(P)滤子的充要条件是当λ∈[0,1]且Aλ≠时,Aλ是(P)滤子;在正则剩余格中引入了素Fuzzy(P)滤子的概念,证明了正则剩余格中的Fuzzy(P)滤子A是素Fuzzy(P)滤子的充要条件为a、b∈L,A(a b)=A(a)∨A(b)等结论.     

基于非交换剩余格的模糊蕴涵滤子及其性质

对非交换剩余格的结构作了进一步研究。结合模糊数学的思想和方法, 在非交换剩余格上引入了模糊滤子,讨论了模糊滤子与分明滤子之间的关系; 并且在模糊滤子的基础上引入了模糊蕴涵滤子和模糊正蕴涵滤子的概念, 并讨论其基本性质,给出了模糊蕴涵滤子和模糊正蕴涵滤子的等价刻画, 证明了模糊正蕴涵滤子一定是模糊蕴涵滤子, 模糊蕴涵滤子和模糊正蕴涵滤子在一定条件下是等价的。     

抽象算子逻辑及其自然演绎系统

研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础.     

Heyting代数的模糊滤子格

结合模糊集和滤子理论,对Heyting代数的模糊滤子概念作进一步研究。引入Heyting代数的由一个模糊集生成的模糊滤子的概念并获得了它的表示定理。在Heyting代数的全体模糊滤子之集上定义了格运算和蕴涵运算,证明了按此方式定义了格运算和蕴涵运算之后,全体模糊滤子之集形成一个完备Heyting代数的结论。