Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (21): 72-74.
• 学术探讨 • Previous Articles Next Articles
XIAO Yun-ping,ZOU Ting-rong
Received:
Revised:
Online:
Published:
Contact:
肖云萍,邹庭荣
通讯作者:
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代数, 有界格, 模糊逻辑, 伴随对
XIAO Yun-ping,ZOU Ting-rong. Some properties of UB-algebras systems in universal logic[J]. Computer Engineering and Applications, 2007, 43(21): 72-74.
肖云萍,邹庭荣. 泛逻辑学中UB代数系统的若干性质[J]. 计算机工程与应用, 2007, 43(21): 72-74.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/
http://cea.ceaj.org/EN/Y2007/V43/I21/72