泛逻辑的基本形式演绎系统UL及其可靠性

1引言 自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提[2].尽管模糊推理在模糊控制中有直接的应用,也受到模糊系统与人工智能学界的广泛关注,但是,由于模糊推理长期以来没有严格的逻辑基础,致使其进一步发展受到限制,且不可避免地受到怀疑与批判[3].

理想状态下泛逻辑的形式演绎系统β

本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统。讨论了商代数[F]的性质。进一步证明了形式演绎系统与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。

理想状态下泛逻辑的形式演绎系统B的完备性

UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统。本文引入UB代数滤子的概念,讨论了UB代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性。

形式演绎系统L~*中的运算与演绎定理

对著名的形式演绎系统 L* 做了进一步的研究 ,得到一些新定理。在系统 L* 中引入新的二元运算 ,讨论了这种运算的性质 ,并由此得到了形式系统 L*

形式演绎系统L~*的扩张

从语义和语法两个方面将形式演绎系统L 层次化 ,得到L 的一个扩张 ,从而增强了系统L 的表达能力 ,使之能更有效地应用于模糊系统的研究 .

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

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

从易经逻辑到数理辩证逻辑

早在6000多年前,中国先人就创造了以爻卦为命题形式,以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后,又给出了爻辞和卦辞的语义解释系统。后来,又给出了《易经》的语义和语用解释系统。它自古至今,长盛不衰,成为中国的传统逻辑、文化发展的活水源头。以互补结构整体思想的形式结构和推理有效式规律为研究对象的数理辩证逻辑,是以易经逻辑为其辩证逻辑基础的,它又是易经逻辑的一致性扩大系统。它为实现易经逻辑的现代化发展提供了现代逻辑形式化方法。易经逻辑形式公理系统DPA++就是其现代化形式公理系统。

关于一阶逻辑形式系统中概括规则的注记

本文在文献［１］的基础上，给出一个一阶逻辑形式系统Ｋ＇；证明了Ｋ＇的限制概括规则和Ｋ＇演绎定理；证明Ｋ＇与文献［１］中的一阶逻辑形式系统Ｋ是等价的；通过比较Ｋ＇和Ｋ，说明Ｋ＇的有关元定理强于Ｋ的相应的元定理，同时说明概括规则对一阶逻辑形式系统的影响．

L~*系统中的模糊演绎定理

研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,那么Γ A2 →B ;(2 )Γ∪ {A2 } B的充要条件是Γ A2 →B ;(3) (A B) C≈A (B C) (≈表示可证等价 ) ;(4)A B≈B A ;(5 ) A (A→B)→B ;(6 ) A2 →Ak(k∈N) .

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

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

连续值逻辑系统中的代换定理

在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L G R,并在此基础上研究了模糊逻辑系统中的代换定理 。

关于形式系统L~*及R_0代数的若干结果

研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的.

现代演绎逻辑史考略

本文侧重考察自然语言逻辑史上所遇到的一些主要难题,怎样在与之苦斗的过程中寻求改良与改革的途径,又怎样在改良与改革中发现现代逻辑,从而论述现代逻辑是传统逻辑的自然历史发展。

基础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~*系统的一种改进系统L_0~*

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

模糊推理与模糊逻辑

论证了当赋值集为［０，１］时经典命题演算中的定理、重言式、ＭＰ规则以及ＨＳ规则之间关系的不协调性．建立了关于模糊命题演算的准形式演绎系统，证明了相应的可靠性定理．修正了模糊取式（ＦｕｚｚｙＭｏｄｕｓＰｏｎｅｎｓ，ＦＭＰ）与模糊拒取式（ＦｕｚｚｙＭｏｄｕｓＴｏｌｅｎｓ，ＦＭＴ）概念，并明确了ＦＭＰ与ＦＭＴ的模糊逻辑依据．

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

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

论教学的系统性原则

最早建立比较完整的教学原则体系的人当推夸美纽斯,他的体系庞大,包括的条文高达37项,还有许多细目。其中,系统性原则是一个重要的方面,虽然他并未直接使用“系统性原则”一词,但诸如顺序、渐进、先后一类的述浯四处可见,有关的细目多达16条。系统性原则在夸美纽斯的原则体系中占有重要地位。凯洛夫体系与夸美纽斯可说是一脉相承。

R_0代数的一种等价形式

R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代数就是R0代数,并且得到了R0代数的一类等价系统.