Chapter 5. Gives some simplifier definition of MV-algebra and R_0-algebra,and proposed the concept of Weak Lattic Implication-Algebra, and proved the equiv-alence of Weak Lattic Implication-Algebra and BR_0-algebra.
第五章给出了MV代数、R_0的若干简化定义,提出了弱格蕴涵代数,并证明了其与BR_0代数的等价性。
参考来源 - 关于逻辑代数与系统的若干问题研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐