格蕴涵代数的超滤

通过超滤构造超积是模型论中构造模型的一种重要方法。文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。     

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

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

格蕴涵代数的拓扑结构

给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质和结构进行了研究，证明了格蕴涵代数中全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应拓扑结构之间的拓扑映射。     

一些子范畴的反变有限,共变有限及函数有限性

反变有限子范畴、共变有限子范畴和函子有限子范畴的研究在代数表示论中是非常重要的。文中，讨论了ｍｏｄ Ａ的一些满子范畴的反应有限、共变有限和函子有限等性质。     

赋值格中一种混合运算的性质和应用

研究了R0－代数、格蕴涵代数和基本逻辑代数；讨论了一般赋值格中一种混合运算的性质，特别是对这种混合运算在R0－代数中的性质进行了讨论，并应用它建立了R0－代数中的一种滤子，得到了一些结果，为R0－代数的研究和一般赋值格的研究提供了可借鉴的方法和帮助。     

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

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

关于FI代数的一些性质

深入研究了FI代数的与其诱导序关系相关的运算性质，进而得到关于FI代数的MP滤子的若干结果，并且给出了FI代数可嵌入一族全序FI代数的乘积的充分必要条件．     

一种新的模糊逻辑代数系统

基于对模糊逻辑和模糊推理的系统研究,一种新的模糊逻辑代数－Ｒ０代数已于近期被建立,这为模糊逻辑提供了一种新的代数框架。文中对Ｒ０代数作进一步研究,给出Ｒ０代数的一系列代数性质,并澄清Ｒ０代数与其它模糊逻辑代数系统之间的关系。     

模糊格蕴涵代数

本文将模糊集合率应用于格蕴涵代数，给出了模糊格蕴涵代数的概念，并讨论了它们的一些基本性质。     

不分明化拓扑中F-滤子与网的若干性质

本文在[1]的不分明化拓扑新定义基础上,给出了不分明化滤子的定义,并且用逻辑的语义方法讨论了它的若干性质;之后讨论了子网和网的关系;最后给出了不分明化超滤子与超网的定义,同时用逻辑的语义方法证明了超滤子的极限点集与附贴集的等价关系．     

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…     

Subalgebra and LI-Ideal of Lattice Implication Algebras

First,We reviewed the definitions of lattice implication algebras,lattice implication subalgebras,and LI-ideals,and provided an equivalent definition of LI-ideal.Then we investigated some properties of lattice implication subalgebra and LI-ideal,and found the least lattice implication subalgebra.Finally,the relation between lattice implication subalgebra and LI-ideal is presented.It is proved that no LI-ideals are non-trivial lattice implication subalgebras.     

格蕴涵代数

本文将格与蕴涵代数结合在一起,建立了格蕴涵代数,并讨论了它的一些基本性质, 为从语义的角度研究格值逻辑系统奠定了必要的基础.      

Lattice-valued modal propositional logic based on M-lattice implication algebras

The modal lattice implication algebra (i. e., M-lattice implication algebra) is introduced and its properties are investigated. The modal lattice-valued propositional logical system is introduced by considering the M-lattice implication algebra as the valuation field, and the syntax and semantic of the logical system are discussed, respectively.     

粗糙集代数与格蕴涵代数

讨论粗糙集代数与格蕴涵代数的关系以及由粗糙集代数构造格蕴涵代数的方法．借助近似代数上的原子及同余关系，证明了在适当选取蕴涵算子及余运算之后，粗糙集代数就成为格蕴涵代数。     

基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统；采用公理化的方法，给出了该系统在A水平上的语法导出、证明和协调性等基本定义，并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理．