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

以有限格蕴涵代数作为逻辑系统的真值域，在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统，研究了在A水平上系统的赋值和公式的可满足性等基本定义，证明了系统“有效性”的可判定性并给出了判定算法。     

格蕴涵代数的拓扑结构

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

关于格蕴涵代数的几点注记

给出了一般（2，1，0，0）型代数（L，→^*0,1)成为格蕴涵代数的充要条件，证明了在有限链及非全序四元格上只有一种格蕴涵代数，且不存在非全序五元格蕴涵代数，为进一步讨论由语言真值构成的格蕴函代数的结构提供了条件。     

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

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

粗糙集代数与格蕴涵代数

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

模糊格蕴涵代数

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

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

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

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

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

格蕴涵代数的超滤

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

格蕴涵代数

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

Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra

As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.     

格蕴涵代数的模型论性质

讨论有关格蕴函代数结构的模型论性质,证明了形式化格蕴函数代数理论Ｔ保子模型,保模型链之并、保模型同态、理论Ｔ不是完备的,也不是模型完备的,因此不存在内在Ｓｋｏｌｅｍ函数。另外,文中借助于超滤概念提出了格蕴函代数簇的超积及格蕴函代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。     

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.     

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.     

格蕴涵代数中的格蕴涵代数方程

根据逻辑代数方程理论,提出了格蕴涵代数方程的概念.讨论了格蕴涵代数L中的几种基本类型的一元格蕴涵代数方程,给出了方程的可解性判别条件.在此基础之上,证明了方程的解集构成L的凸子格.