The mp - filters and fuzzy filters of a implication algebra on a partial ordered set are studied with the condition given in chapter 2 which implicative operator should satisfy 利用上述得到的关于蕴涵代数中蕴涵算子的条件，研究偏序集上具有条件( c )的蕴涵代数的mp滤子及fuzzy滤子。
Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed . the syntax and semantics of lp ( x ) are discussed . the soundness theorem is proved 四、格值逻辑系统的研究建立了基于格蕴涵代数的格值命题逻辑系统l试x ) ，并讨论了它的语法和语义问题，证明了可靠性定理。
The lattice implication algebra and the graph theory are two branches of mathematics which offer the basic surport for the theory and application of artificial intelligence and intelligent information processing 格蕴涵代数与图论是两个与人工智能及智能信息处理密切相关的数学分支。格蕴涵代数为格值逻辑与不确定性推理的研究提供了一种理论基础。
The relations between heyting algebra and implication algebra with some conditions on a partial ordered set are discussed . then some conditions when a implication algebra is a boolean algebra are given . 3 系统地研究了偏序集上蕴涵代数与heyting代数之间的关系，得到了蕴涵代数中蕴涵算子的一个较好的条件，并给出了偏序集上蕴涵代数成为布尔代数的一些条件。
Proposed the concept of associative ideal of a lattice implication algebra , discussed the property of associative ideal , pointed out the relation between associative ideal and li - ideal and the relation between associative ideal and associative filter 提出了格蕴涵代数的关联理想的概念，讨论了它的性质，指出了关联理想与li -理想、关联理想与关联滤子之间的关系。
The relations between basic implication algebra and implication algebra are gained when ( x , - , 0 ) is regular . from the view of lattices , some lattice properties of implication algebra and the conditions when a implication algebra is a lattice are found . 2 特别是在正则条件的情形下，得到了基础蕴涵代数与蕴涵代数之间的关系，并从格的角度给出了偏序集上蕴涵代数的某些格的性质以及使其成为格的一些条件。
3 . the concepts of o - ideal was proposed and its property was discussed . ultra - filter on a set s of lattice implication algebra was defined and was compared with the ultra - filter on a set of lattice , the relationship between this two ultra - filter was studied 3 、给出了格蕴涵代数中o -理想的定义并讨论了其性质，给出了格蕴涵代数中集合s上超滤子的定义并与集合代数上的超滤子作了比较，研究了两种超滤子之间的关系。
1 . the study of algebraic structure and properties ( 1 ) some properties and structure of lattice implication algebra are discussed . it is proved that lattices with five elements and lattices with an intermediate element can not form lattice implication algebra except they are chains 一、代数结构和性质的研究1 、对格蕴涵代数的结构进行了研究，证明了非链的五元格不能构成格蕴涵代数，非链的中界格不能构成格蕴涵代数。
The relation between intuitionistic fuzzy filter and intuitionistic fuzzy lattice filter is given , the equivalence conditions of intuitionistic fuzzy filter are obtained , which lay a theoretical foundation for the further application of intuitionistic fuzzy filter in lattice implication algebra 给出了直觉模糊格滤子与直觉模糊滤子的关系，得到了直觉模糊滤子的几个等价条件，为直觉模糊集在格蕴涵代数中的进一步应用奠定了理论基础。
In this article , according to the theory of logic algebra inequality , the notion of inequality in lattice implication algebra was introduced , three typical basic unary lattice implication algebra inequalities in lattice implication algebra l were investigated , and some properties and corollaries were obtained 摘要针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念，讨论了格蕴涵代数中3类最基本的一元格蕴涵不等式，得到一些性质及推论。
