形式系统L*(n)的完备性

模糊逻辑命题演算形式系统 L*自 1 997年被提出以来 ,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用 .系统 L* 的完备性直到最近才由作者给出证明 .本文进一步研究系统 L*的扩张在 n元 R0 链 Wn 上的完备性问题 ,通过构造公式列 ,得到系统 L*的扩张列 { L* (n) } ,使用代数方法证明了对于任何n≥ 3 ,系统 L* (n)关于 Wn 是完备的     

R0-代数中一种混合运算的性质及L*系统的完备性

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的性质,并以此为工具利用Petr Hajek证明Lukasiewicz模糊命题演算系统关于语义ΩL完备性的方法证明了L*系统关于语义ΩW的完备性.     

基础R0-代数与基础L*系统

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数，以及：Petr Hajek建立的模糊命题演算系统BL和BL-代数，提出了基础R0-代数和基础L^*系统的观点，讨论了基础L^*代数与BL代数，基础L^*系统与BL系统之间．的相互关系及相对独立性，讨论了基础L^*系统关于基础风一代数的完备性问题，证明了MV-代数是特殊的基础R0-代数，指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张，最后作为基础R0-代数与基础L^*系统的一个应用，证明了L^*系统关于语义Ωw的完备性，并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试．     

一阶形式系统K*及其完备性

模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性.     

L*系统的公理化扩张

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

∧~*系统的公理化扩张

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

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．     

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．     

模糊推理三I算法的逻辑基础

在模糊推理理论中，近期问世的三I推理方法以逻辑蕴涵运算取代传统的合成运算，从根本上改进了传统的合成推理规则(即CRI方法)。本文基于模糊命题逻辑的形式演绎系统L^*和模糊谓词逻辑的一阶系统K^*，构建了一个完备的多型变元一阶系统Kms^*，并且将三I算法完全纳入了模糊逻辑的框架之中，从而为模糊推理奠定了严格的逻辑基础。     

单部件可修系统的一个几何过程维修模型

本文研究了单部件、一个修理工组成的可修系统的最优更换问题,假定系统不能修复如新,以系统年龄T为策略,利用几何过程求出了最优的策略T^*,使得系统经长期运行单位时间内期望效益达到最大,并求出了系统经长期运行单位时间内期望效益的显式表达式。在一定条件下证明了T^*的唯一存在性。最后还证明了策略T^*比文献[6]中的策略T^*优。     

一类Cayley图的可扩性

设 Sn是那个对称群 .让〈n〉 ={ 1,2 ,… ,n} ,B*表示 Sn中所有对换的集合和 B B* .关于 B的对换图 Wn 被定义为 V(Wn) =〈n〉,E(Wn) ={ [uv]:(uv)∈ B} .如果 Wn是一棵树 ,则这个对换图称为一棵对换树 Tn.Tn 是 Sn 的一个极小生成集 .在这篇文章里 ,我们研究了 Cayley图 Cay(Sn,Tn)的性质 .证明了Cay(Sn,Tn)是 (n - 2 ) -可扩的 ,即 ,Cay(Sn,Tn)的可扩性达到最大 .     

强正则剩余格值逻辑系统（L）N及其完备性

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.     

强正则剩余格值逻辑系统L~N及其完备性

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.     

基础J^＊系统的一种扩张—Lukasiewicz系统

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

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

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

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

形式演绎系统L~*中封闭理论的性质及其应用

本文在模糊命题演算的形式演绎系统L~*中引入了封闭理论的概念,讨论了封闭理论的基本性质,并利用封闭理论给出了形式演绎系统L~*的基于公式集的完备性的证明.首先,在形式演绎系统L~*中引入了封闭理论的概念,给出了理论封闭化扩张的方法;其次,在形式演绎系统L~*中引入了完全封闭理论的概念,证明了满足相关条件的完全封闭理论的存在性;第三,对形式演绎系统L~*中的封闭理论确定的同余关系性质进行了讨论,在公式集中引入了强同余关系的概念,给出了封闭理论和强同余关系相互决定的方法;第四,在形式演绎系统L~*中证明了封闭理论型L~*-Lindenbaum代数是R_0代数,并且封闭理论型L~*-Lindenbaum代数是全序的当且仅当封闭理论是完全的;最后,利用完全封闭理论型L~*-Lindenbaum代数完成了形式系统L~*完备性的证明,并改进了原有的结果.     

计量逻辑学的基本思想和研究综述

介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。     

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

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

夹心半群T(X,Y,θ)上的最小真同余

本文讨论了夹心半群T(X，Y，θ)上的同余与集合Y上T^θ-等价关系之间的联系，建立了从夹心半群的同余格C(T(X，Y，θ))到Y上的T^θ-等价关系格吃(y)的满同态C和从Teq^θ(Y)到C(T(X，Y，θ))的单同态γ-讨论了Y上最小真T^θ-等价关系以及半群T(X，Y，θ)上最小真同余存在的条件．