Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (21): 72-74.

• 学术探讨 • Previous Articles     Next Articles

Some properties of UB-algebras systems in universal logic

XIAO Yun-ping,ZOU Ting-rong   

  1. Dept. of Computer Science,Huazhong Agricutural University,Wuhan 430070,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-07-21 Published:2007-07-21
  • Contact: XIAO Yun-ping

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

肖云萍,邹庭荣   

  1. 华中农业大学 理学院,武汉 430070
  • 通讯作者: 肖云萍

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:x*y=(x→y′)′;(3)a*(b∨c)=(a*b)∨(a*c);(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.

Key words: universal logic, UB algebraic, Bounded Lattice, Fuzzy Logic, Adjoint Pairs

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

关键词: 泛逻辑, UB代数, 有界格, 模糊逻辑, 伴随对