模糊推理的α-三I算法

三I算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文借助蕴涵算子的性质,针对满足一定条件的较一般蕴涵算子,建立了FMP与FMT模型的α-三I算法,并讨论了算法的还原性。     

参数Kleene系统的三Ⅰ算法与反向三Ⅰ支持算法

提出基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算pθ的三I算法与反向三I支持算法理论,得到了三I上确界算法、模糊取式算法(FM P)与模糊拒取式算法(FM T)的计算公式,这将有助于提高模糊推理结果的可靠性。     

关于格蕴涵代数的余元及结构

根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数,给出几种格蕴涵代数的结构。     

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

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

Zariski‐type topology for implication algebras

In this work we provide a new topological representation for implication algebras in such a way that its one‐point compactification is the topological space given in [1]. Some applications are given thereof (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Equational spectrum of Hilbert varieties

We prove that an equational class of Hilbert algebras cannot be defined by a single equation. In particular Hilbert algebras and implication algebras are not one-based. Also, we use a seminal theorem of Alfred Tarski in equational logic to characterize the set of cardinalities of all finite irredundant bases of the varieties of Hilbert algebras, implication algebras and commutative BCK algebras: all these varieties can be defined by independent bases of n elements, for each n > 1.      

L_n×L_2上几类特殊类型格蕴涵代数方程的解法

在格蕴涵代数中提出了加既约元、乘既约元,研究了一类重要的格蕴涵代数L_n×L_2中元素的不可约有限分解, 并将这一理论用于研究L_n×L_2上的几类格蕴涵代数方程,讨论了方程有解的充分必要条件,在此基础上给出了方程的具体解集.     

R-模糊正规子群

给出了R-模糊正规子群与基于蕴涵的模糊正规子群的定义,得到了R-模糊正规子群的交、并、同态像以及同态原像的相关性质;另外还讨论了它与不同的模糊正规子群的区别与联系,并且给出了具体的蕴涵算子厦它的等价形式.     

Structuralist Logic: Implications, Inferences, and Consequences

On a structuralist account of logic, the logical operators, as well as modal operators are defined by the specific ways that they interact with respect to implication. As a consequence, the same logical operator (conjunction, negation etc.) can appear to be very different with a variation in the implication relation of a structure. We illustrate this idea by showing that certain operators that are usually regarded as extra-logical concepts (Tarskian algebraic operations on theories, mereological sum, products and negates of individuals, intuitionistic operations on mathematical problems, epistemic operations on certain belief states) are simply the logical operators that are deployed in different implication structures. That makes certain logical notions more omnipresent than one would think. Mathematics Subject Classification (2000): Primary 03B22; Secondary 03B20, 03B42, 03B60     

L-λ-G族模糊蕴涵算子的性质

给出了三族模糊蕴涵算子分别称它们为L-λ-0(λ∈[21,1])、L-λ-G(λ∈[0,1])与L-λ-0-λ-G(λ∈[0,1])族模糊蕴涵算子。L-λ-0族算子包括Lukasiewicz(简称RLu)算子与R0算子,L-λ-G族算子包括RLu算子与Go。del(简称RG)算子,L-λ-0-λ-G族算子包括RLu算子、R0算子与RG算子。本文主要讨论L-λ-G(λ∈[0,1])族模糊蕴涵算子的伴随算子及其正则性。