基于剩余蕴涵的模糊三I方法的支持度

利用连续三角模导出剩余蕴涵算子，根据三角模和剩余蕴涵算子的性质，得出了满足一定条件的该类算子的三I算法．分析了在该类算子下的支持度理论，并推导了一般化的α-三IFMP和α-三IFMT公式．     

关于格蕴涵代数模糊滤子的一个注记

在格蕴涵代数基本结构基础上进一步研究了格蕴涵代数的模糊滤子的性质，指出了模糊滤子可以诱导出格蕴涵代数的一簇同余关系，并研究了这簇同余关系的代数结构及灾些同余关系所诱导的商代数之间的同态映射。     

化LF(X)中任一公式为可归约形式的算法

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究．简述了LF(X)及其中公式的相关概念，证明了对LF(X)中公式进行转化的若干理论结果，并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法．     

概念格的分层及逐层建格法

给出了分层概念格重要性质:同层概念不可比和每个概念至少被1个上层的概念覆盖.得到了概念格上的对象映射和属性映射的一般计算公式和在对象化简过程中格结构不变的定理.由上述性质和定理,给出建格算法.此方法以概念格分层为基础,逐层建格.因为在建每层格的节点的过程中同时进行筛选,所以不会生成冗余重复的格节点.     

格蕴涵代数中滤子的若干性质

首先给出了滤子的几个等价条件,接着定义了固执滤子,证明了固执滤子,极大关联滤子,极大正关联滤子相互等价,得出了越滤是固执滤子及固执滤子是索滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态,使这个滤子就是同态的对偶核。     

Logical Properties of Lattice Filter of Lattice Implication Algebra

Introduction The concept of lattice was first introduced andelaborated by Dedekind, and the abstract structure oflattice was proposed by Birkhoff in 1935[1]. Sincethen, the lattice theory has gradually developed to be acomplete theoretical system[2], and extensively studiedby researchers[3-6]. In 1990s, Xu[7]proposed the con-cept of lattice implication algebras and investigatedsome of their properties. Then, Xu and Qin[8]intro-duced the notion of filters in lattice implication algebraand dis…     

格蕴涵代数的单性与周期性

讨论了格蕴涵代数的单性和周期性，并研究了这两种性质之间的关系，同时给出了格蕴涵代数具有单性的几个断定方法，得出了一个重要结论；如果有限的单格蕴涵代数中存在对偶原子，则一定唯一。