检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:段景瑶[1]
出 处:《兰州理工大学学报》2009年第3期169-172,共4页Journal of Lanzhou University of Technology
基 金:宝鸡文理学院重点科研基金(ZK08106)的资助
摘 要:通过对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.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.117.249.37