1) Lattice Implication Algebra Axioms
格蕴涵代数的公理系统
2) lattice implication algebra
格蕴涵代数
1.
On Method of a Class of Finite Lattice Implication Algebraic Equations;
关于一类有限格蕴涵代数方程的解法
2.
Prime Dual Ideals of Lattice Implication Algebra;
格蕴涵代数的素对偶理想
3.
Some Remarks on Structure of Lattice Implication Algebras;
关于格蕴涵代数的结构的一些讨论
3) lattice implication algebras
格蕴涵代数
1.
In this paper, the concept of ultrafilter of lattice implication algebras is proposed.
文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。
2.
Furthermore,the relations between commutative weak R_0-algebras and lattice implication algebras are found out.
探究了可交换弱R0代数与格蕴涵代数之间的关系,以及与MV代数之间的关系。
4) four-element non-chain lattice-valued logic LP_4(X)
非链格蕴涵代数上的四值命题逻辑系统LP4(X)
5) injective lattice implication alge-bras
内射的格蕴涵代数
6) pseudo lattice implication algebra
伪格蕴涵代数
1.
To provide a logical foundation of reliability for intelligent information processing and artificial information theory,especially for the fuzziness,the incomparability in uncertain information in the inference,the paper proposed a class of pseudo logical algebra-pseudo lattice implication algebras in the research framework in lattice implication algebras(LIA).
为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条