检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]上海师范大学数学系
出 处:《Journal of Mathematical Research and Exposition》1990年第2期265-270,共6页数学研究与评论(英文版)
摘 要:In this paper, a new type algebra which is so-called Medium algebra is intro-duced. The equational class M of all Medium algebras is characterized. And the relationships between Medium algebras and other algebras are studied.近年来,朱梧槚和肖奚安在研究中介逻辑演算和中介公理集合论时引进了被排斥在经典逻辑之外的模糊否定词“~”,讨论了反映模糊现象的“中介原则”。因此,中介逻辑是经典的二值逻辑的推广和发展。我们知道,Boole代数是对应于二值逻辑的代数结构。本文提出中介逻辑的代数抽象——中介代数。本文讨论了中介代数组成的等式类(即代数簇)的代数性质,证明了每个中介代数都是2和3的亚直积。本文还讨论了中介代数的余积,中介代数与Kleen代数、Post代数以及Boole代数之间的关系。 所谓中介代数是一个(2,2,1,1,0,0)型的代数(M,+,·,—,~,0,1)。其中(M,+,·,—,0,1)组成De Morgan代数。而一元运算“~”还满足以下公理:x,y∈M, 从这些公理中可以看出,“中介原则”在中介代数中得到了反映。
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.28