系统L中公式相对于有限理论的∑_Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

L^＊系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统L .对其中的演绎定理进行了详细讨论,得到了在一定条件下的L 系统中的演绎定理:设A,B∈F(S),若├(q→ p∨p)∨q→A,Γ F(S),则Γ├A→B当且仅当Γ∪{A}├B.将L 系统中的模糊演绎定理进行了改进,进一步说明了L 系统所具有的良好性质.同时,在本文定理的证明中进一步体现了L 系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法.

系统L^＊中极大相容理论结构刻画的归纳证明

在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统L*的满足性定理和紧致性定理,其结果完善了系统L*的理论体系.

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

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

系统L^＊中极大相容理论的结构刻画和紧致性定理

为给模糊推理建立严格的逻辑基础,本文第二作者在1997年提出了一种新型的模糊命题演绎系统L*。本文基于系统L*的强完备性定理给出了极大相容理论的结构刻画,证明了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里φi∈{pi,■pi,(■p2i)&(■(■pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件。本文还证明了系统L*的满足性定理和紧致性定理。至此,系统L*的基本定理包括完备性定理、强完备性定理、可判定性定理、满足性定理和紧致性定理已被我们所掌握,所以本文的结果完善了系统L*的理论体系。

模糊逻辑系统Luk和L^＊中理论相容度的计算公式（Ⅲ）

解决了模糊逻辑系统L*与Luk中理论相容度的计算问题。首先给出了L*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件。

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

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

关于形式系统L^(*)的强完备性

进一步讨论了形式系统 L? 中的一般演绎推理及强完备性问题。对于任意的公式集 Γ, 引入一种 新的代数结构—R0(Γ) 代数, 利用子代数结构, 代数滤子理论及次直积分解理论等代数工具, 证明 了系统 L? 的强完备性定理。

基于L~*系统的一种非单调推理系统

研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路.

L^＊系统中由单个原子生成的公式的真值函数的特征

本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的分类。

L*系统中L*10的特点及应用

对模糊命题演算的形式演绎系统中的公理L10：（A→B）∨（（A→B）→A∨B）进行了较为深刻的研究，一方面应用L10讨论了L^＊系统与Lukasiewicz系统，GSdel系统的相互独立性，说明L10是L^＊系统区别于其它模糊命题演算的形式演译系统的特征标志，另一方面应用L10证明了L^＊系统中的条件演绎定理，给出了L10在L^＊中的一个重要应用。

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

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

基础R0-代数与基础L^＊系统

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

L_0^*-Lindenbaum代数的结构与性质

讨论了L 系统的等价简化形式系统L 0 系统中Lindenbaum代数的结构与性质 .证明了 :(1)L 0 Linden baum代数是一个有界分配格 ;(2 )在L 0 系统中 ,(F(S) /≈ , )是一个含零元和单位元的Abel半群 ,这里对A ,B∈F(S) ,[A] [B]= ([A]→ [B]) .进一步 ,若设T是L 0 中的定理 ,A∈F(S) ,则 [A] [T]=[A],[A] [ T]=[ T].

经典二值逻辑系统L中的MT问题

引入了最大前提的概念,研究了二值逻辑系统L中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与根的关系,从而说明了MP与MT问题可互相转化。

L~*系统的一种弱完全对偶形式系统WCL

研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性 。

L*系统中由单个原子生成公式的真度分布

以L*系统为背景,针对由单个原子生成的公式,解决了公式的真度分布情况。得到任一单原子生成公式的真度必为0,1/8,2/8,3/8,…7/8,1之一。进而按照真度将由单原子生成的公式集进行了细致地分类,共分9类。

Lukasiewicz蕴涵算子的导出算子及其n值逻辑系统L_n

讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L_3和n值逻辑系统L_n(n>3),首先给出了L_3的真值表,它是C_2真值表的扩充,它也保持MP规则和正则性,接下来讨论了L_3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及L_3的准重言式与C_2的重言式之间的关系。最后考虑了L_n中的子代数及不同逻辑系统L_n中重言式的比较。

BL~＊系统的一种扩张及相关性质

对BR0代数,Boole代数以及BL*系统,命题演算形式系统L进行了研究。首先讨论了BR0代数与Boole代数间的相互关系,随后在BL*系统中分别添加公理模式(A→B)A∨B或(A→(B→C))→(A∧B→C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张与命题演算形式系统L之间是等价的。

形式演绎系统L~*的运算与弱演绎定理

在著名的形式演绎系统L 中引入一种新的运算 ,讨论了这种运算的性质,得到了形式演绎系统的弱演绎定理.