摘要
通过对R0-代数及其命题演算系统L*的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV代数的另一种非,蕴含型的等价刻画.
By studying of Ro algebra and its L＊ propositional calculus system, the definition of R0 algebra was discussed. That two types of equivalent characterization about nonlattice-order of R0 algebra were obtained. The definition of MV algebra was further simplified. Another equivalent characterization about negative and implicative of MV algebra was obtained, also.
出处
《兰州理工大学学报》
CAS
北大核心
2009年第3期169-172,共4页
Journal of Lanzhou University of Technology
基金
宝鸡文理学院重点科研基金(ZK08106)的资助
关键词
R0代数
MV代数
格
R0 algebra
MV algebra
lattice
