模糊逻辑系统UL^＊不具有标准完备性

证明了由Cignoli等人提出的模糊逻辑系统L∏G的特征,公理(L∏G)是张小红提出的UL*系统的重言式,但不是UL*系统的定理,这一结果表明UL*系统不具备标准完备性。

基于左连续伪T-模的非可换模糊逻辑系统PUL＊

对P.Hájek建立的模糊逻辑系统psMTL进行了扩充,基于一般左连续伪T-模提出了非可换模糊逻辑系统PUL＊,证明了它的可靠性定理.同时,以PUL＊系统的Lindenbaum代数结构为背景引入PUL＊.代数概念,建立了相应的滤子理论,得到PUL＊-代数的正规素滤子定理,借此证明了PUL＊系统的完备性.

G-R型模糊命题逻辑系统完备的一个充分必要条件

引入基模糊公式的概念 ,在 Gaines- Rescher蕴涵算子下 。

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

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

形式系统UL的弱完备性

1引言 自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提出[2].尽管模糊推理在模糊控制中有直接的应用,也受到模糊系统与人工智能学界的广泛关注.

基于FI-代数的一个逻辑系统

建立一种基于FI-代数的模糊命题演算的形式演绎系统,并讨论了该系统语义的完备性。其目的在于使通常的众多模糊推理系统能够纳入该逻辑系统之中,以便在一个更加广泛的代数和逻辑框架下来研究模糊推理的逻辑基础问题。

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

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

基于Schweizer-Sklar T-范数的模糊逻辑系统

基于Schweizer-Sklar T-范数,提出了一个新的模糊逻辑形式系统UL*,证明了系统UL*的可靠性和完备性,并指出著名的SBL～系统是UL*的语义扩张,而IMTL△系统是UL*当两个'非'运算重合时的特例.最后分析了UL*系统与其他模糊逻辑形式系统的关系,并从Yager的'与度'、Whalen的'模糊规则交互作用的强度'概念出发,说明了系统UL*中参数p的含义及其在近似推理中的应用.