L—Fuzzy集表现定理

简化文[1]引入的L－集合套概念的条件,并借助文[2]的结论给出L－Fuzzy表现定理的几种形式,进一步揭示普通集合簇与L－Fuzzy集之间的良好对应关系。     

L—Fuzzy素理想的再定义

本文的目的是在L-fuzzy环中重新定义了L－fuzzy理想和L－fuzzy素理想,并借助于它们的截集给出它们的等价刻画     

格的L′—Fuzzy理想的代数性质

引入格L的L′－Fuzzy理想,L′－Fuzzy素理想和L′－Fuzzy同余理想等概念,讨论这些理想在Zadeh型映射下像的性质,得到若干结果。′′     

L—Fuzzy拓扑空间中强导集的杨忠道定理

证明L-Fuzzy拓扑空间中强导集的点式杨忠道定理,并用反例表明强导集的分子式杨忠道定理不成立。     

L—Fuzzy向量空间的同构

证明在双诱导映射及逆映射下L-Fuzzy向量空间的像和逆像仍是L-Fuzzy向量空间,给出L-Fuzzy向量空间同构的定义。     

格群的L—Fuzzy子格群的等价刻画及应用

给出L-Fuzzy子格群的几种等价刻画,利用它们得到一些结果。     

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.     

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

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

扰动模糊命题逻辑系统中的广义重言式

通过定义二维R0-蕴涵算子，将王国俊教授在逻辑系统形中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统西中，证明了这一系统中（μ，δ）-重言式就是某个（λ，1-λ）-重言式，最终获得与一维线性赋值格上完全相应的广义重言式分类。     

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

In this paper we prove a bounded translation of intuitionistic propositional logic into basic propositional logic. Our new theorem, compared with the translation theorem in [1], has the advantage that it gives an effective bound on the translation, depending on the complexity of formulas.     

直觉模糊命题逻辑的广义拟重言式及其分类

通过定义一个蕴涵算子,建立一个直觉模糊命题逻辑系统(I20, ,V,→T),讨论了系统I20上的广义拟重言式的分类,将王国俊教授的广义重言式理论从一维推广到二维的直觉模糊命题逻辑上.     

区间值模糊命题逻辑的最大子代数及其广义重言式

将S-型蕴涵算子改为R0-蕴涵算子，从而找到区间值模糊逻辑I[0，1]的一个最大子代数IQ，进而将王国俊教授在逻辑系统W中的广义重言式理论推广应用到IQ中。     

论Goedel蕴涵算子不宜用于建立模糊逻辑系统

通过演绎定理和命题的真度理论指出基于Goedel蕴涵算子的3值逻辑系统反映了直觉主义逻辑的特点。但如果基于Goedel蕴涵算子建立模糊逻辑系统，则相应的语构理论与积分语义理论是不协调的。     

多值命题逻辑中逻辑理论的拓扑刻画

基于多值Lukasiewicz命题逻辑系统Ln中的计量逻辑学理论。研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系，并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画。     

关于三值R0命题逻辑系统的若干注记

在三值R0命题逻辑系统中证明了随机真度的MP、HS和交推理规则;提出了随机开放度,指出随机开放度与随机发散度是从两个不同的角度刻画了理论的相容程度,并得出对同一个理论而言,二者取值相等的结论.     

论G(O)del蕴涵算子不宜用于建立模糊逻辑系统

通过演绎定理和命题的真度理论指出基于G(O)del蕴涵算子的3值逻辑系统反映了直觉主义逻辑的特点.但如果基于G(O)del蕴涵算子建立模糊逻辑系统,则相应的语构理论与积分语义理论是不协调的.