命题逻辑系统(￡)*n中公式关于有限理论的∑Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统(￡)*n中引入了公式集相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质.并利用真度关系:τΓ(A) τΓ(A→B)≤1 τΓ(B)在模糊命题逻辑系统(￡)*n中的公式集F(S)上引入相对于有限理论的Γ-伪距离概念,从而为在模糊命题逻辑系统(￡)*n中建立相对于有限理论的近似推理框架奠定了基础.     

模糊值函数在模糊数积分区间[,]上的NL公式

文 [1 ]给出模糊值函数在普通区间 [a,b]上的 N— L公式。本文在文 [1 ]的基础上进一步给出模糊值函数在模糊数区间 [A～ ,B～ ]上的积分。这个积分是 型模糊集。文 [3]已经指出( F2 [0 ,1 ],∪ ,∩ ,c)不是软代数 ,但这个积分是一个特殊 型模糊集仍具有许多良好的代数性质 ,并存在着 N—L公式     

模糊值函数在模糊数积分区间[(A～,B～)]上的N-L公式

文[1]给出模糊值函数在普通区间[a,b]上的N-L公式.本文在文[1]的基础上进一步给出模糊值函数在模糊数区间[(A～,B～)]上的积分.这个积分是Ⅱ型模糊集.文[3]已经指出(F2[0,1],∪,∩,c)不是软代数,但这个积分是一个特殊Ⅱ型模糊集仍具有许多良好的代数性质,并存在着N-L公式.     

命题逻辑系统Ln^＊中公式关于有限理论的∑r-真度理论

将模糊命题逻辑中的∑-a-重言式理论与计量逻辑学中的真度理论相结合，在模糊命题逻辑系统Ln^＊中引入了公式集相对于有限理论的∑r-模糊真度理论，讨论了其中的主要性质。并利用真度关系：τr（A）＋τr（A→B）≤1＋τr（B）在模糊命题逻辑系统Ln^＊中的公式集F（S）上引入相对于有限理论的 Г-伪距离概念，从而为在模糊命题逻辑系统Ln^＊中建立相对于有限理论的近似推理框架奠定了基础。     

逻辑系统-↑W，W，Wk中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统L及在语义上相关的修正的Kleene逻辑系统-↑W，W，Wk，引入语义[α]-MP规则，语义[α^ ]-MP规则，语义[α]-HS规则，语义[α^ ]-HS规则等概念，并对这些规则的性质进行讨论，进一步加强该系统中的∑-(α-重言式)的相应结果，丰富该系统中∑-(α-重言式)的内容，为进一步研究该系统提供一个有益的工具。     

模糊S-半置换子群的可解性

基于文[1]、文[2]中的模糊S-半置换子群的定义及其相关性质,本文通过构造一种导出链对模糊S-半置换子群可解性进行相关研究,并对可解模糊S-半置子群的同态像与同态原像进行了相关研究。     

模糊S-半置换子群的幂零性

基于文[1]、文[2]中的模糊S-半置换子群的定义及其相关性质,本文通过构造一种递减中心链对模糊S-半置换子群幂零性进行相关研究,并对幂零模糊S-半置子群的同态像进行了相关研究。     

两个模糊子半群集合之间的同态

设S,T是半群,F(S)和F_s(S)分别表示S的所有模糊子集的集合和所有模糊子半群的集合。文中,讨论了F(S)(F_s(S))和F(T)(F_s(T))之间的模糊同态,建立了模糊商子半群的概念,把分明半群的基本同态定理推广到模糊子半群。     

逻辑系统,W,W_k中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统中的 Σ- (α-重言式 )的相应结果 ,丰富该系统中 Σ- (α-重言式 )的内容 ,为进一步研究该系统提供一个有益的工具。     

模糊保凸映射

本文是文[6]的继续,研究模糊保凸映射,用子基线段给出其特征定义1 设ψ是fts(x,J)的闭子基,非空模糊集c称为ψ-闭(或ψ-凸)如果有族■■ψ使得c=∩■。记H(X,ψ)是所有ψ-闭模糊集的全体。F-映射f:(X,J)→(Y,U)称为关于它们的闭子基ψ和ψ的F-保凸映射(简记F—cp映射)如果■T∈     

系统L_n中公式相对于有限理论的Г-绝对真度理论

将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lukasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础.     

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

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

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

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

与任意图正交的［0，ki］m1-因子分解

设G是一个图, k1,…, km是正整数.若图G的边能分解成m个边不交的［0,k1］-因子 F1,…,［0,km］-因子Fm,则称＝F1,…,Fm是G的一个［0,ki］m1-因子分解.如果H是G的一个有m条边的子图且对任意的1≤I≤m有｜E(H)∩E(Fi)｜＝1,则称与H正交.证明了若G是一个［0,k1＋…＋km－m＋1］-图,H是G的一个有m条边的子图,则图G有一个［0,ki］m1-因子分解与H正交.     

扰动模糊命题逻辑的代数结构及其广义重言式性质

着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.     

Lukasiewicz 命题逻辑系统一种新的理论的相容度

根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.     

Fuzzy-valued Propositional Logic FP~* (X)

Ｆｕｚｚｙ－ｖａｌｕｅｄＰｒｏｐｏｓｉｔｉｏｎａｌＬｏｇｉｃＦＰ~＊（Ｘ）￥ＱｉｎＫｅｙｕｎ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈ．，ＨｅｎａｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，４５３００２）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｔａｋｅ［０，１?..     

A complete many-valued logic with product-conjunction

A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.This article was processed by the author using the LATEX style filepljorlm from Springer-Verlag.     

Disturbing Fuzzy Propositional Logic and its Operators

In this paper, the concept of disturbing fuzzy propositional logic is introduced, and the operators of disturbing fuzzy propositions is defined. Then the 1-dimensional truth value of fuzzy logic operators is extended to be two-dimensional operators, which include disturbing fuzzy negation operators, implication operators, “and” and “or” operators and continuous operators. The properties of these logic operators are studied.     

模糊测度空间上Egoroff定理的注记

指出经典测度论中著名的Egoroff定理可直接推广到模糊测度空间上,而无需对模糊测度附加其他条件。文[4]中的相应结果得到了实质性改进。