节点文献

泛逻辑学中UB代数系统的若干性质

Some properties of UB-algebras systems in universal logic

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 肖云萍邹庭荣

【Author】 XIAO Yun-ping,ZOU Ting-rong Dept.of Computer Science,Huazhong Agricutural University,Wuhan 430070,China

【机构】 华中农业大学理学院华中农业大学理学院 武汉430070武汉430070

【摘要】 文[1]提出了理想状态(h=k=0.5)下泛逻辑学对应的代数系统-UB代数,给出了它的一些性质。在[1]的基础上,进一步讨论了UB代数系统,得到一些有趣的结果,这些结果对UB代数的进一步研究是有用的。

【Abstract】 Some of basic properties of UB algebras in universal logic are studied,and following rsults are obtained:(1)The UB algebras be a bounded lattice,thereinto x∨y=(y→x)→x,x∧y=[(y→x)→y’]’;(2)(,→) be a adjoint pairs,where“”mean:xy=(x→y’)’;(3)a(b∨c)=(ab)∨(ac);(4)(a→b)∨(b→a)=1;(5)a∧b=a(a→b);(6)a→(b∨c)=(a→b)∨(a→c);(7)x∧y→z=(x→z)∨(y→z);(8)(x→y)→z=(x→z)∧(y→z);etc.

【基金】 华中农业大学科研基金资助
  • 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2007年21期
  • 【分类号】O141
  • 【被引频次】5
  • 【下载频次】44
节点文献中: 

本文链接的文献网络图示:

本文的引文网络