Semantic system of lattice - valued propositional logic based on finite lattice implication algebra 基于有限格蕴涵代数的格值命题逻辑语义系统
Syntactic system of lattice - valued propositional logic based on finite lattice implication algebra 基于有限格蕴涵代数的格值命题逻辑语法系统
7 . introduced the concept of l - fuzzylattice implication algebra and discussed it ' s properties 给出了l -型模糊子格蕴涵代数的概念并讨论它的一些性质。
In the paper , the concept of intuitionistic fuzzy filter in lattice implication algebras is proposed , and its properties are discussed 摘要本文讨论格蕴涵代数中的直觉模糊滤子的概念及其性质。
In this paper , the proper and structure of lattice implication algebra is further studied . the following works have been done : 1 本文将在格蕴涵代数已有性质的基础上,进一步讨论格蕴涵代数的性质及结构。
This thesis contains the author ' s research work on the lattice implication algebra and the alavi conjecture . following are the main works contained in this thesis 本文围绕格蕴涵代数与图论中的aalvi猜想作了一些研究工作并取得了以下结果。
Lattice implication algebra is an algebraic system combinating lattice with implication algebra . it is first defined by professor xu yang in order to study lattice - valued logic 格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。
1 . studied the axioms of lattice implication algebra , the axioms which can construct a lattice implication algebra on a set without any algebraic structure were given . 2 研究了格蕴涵代数的公理体系,给出了一组在没有任何代数结构的集合上建立格蕴涵代数的等价公理。
Lattice implication algebra is a kind of algebraic structure combined with lattice and implication algebra . it is an important method in the research of lattice - valued logic 格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构,是研究格值逻辑系统及其性质的一个重要途径。