计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (35): 90-92.
• 学术探讨 • 上一篇 下一篇
肖云萍,邹庭荣
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
XIAO Yun-ping,ZOU Ting-rong
Received:
Revised:
Online:
Published:
Contact:
摘要: 给出了理想状态下泛逻辑学的形式演绎系统,证明了此系统是可靠的。提出了在理想状态(h=k=0.5)下泛逻辑学对应的代数系统-UB代数,进一步讨论了UB代数滤子与商代数,得到一些有用的结果。
关键词: 泛逻辑学, UB代数系统, 模糊逻辑, 滤子, 商代数
Abstract: Introduce the concept of filter and quotient algebra of UB algebras,further basic properties are investigaled:Theorem A nonempty set F of M be a filter if and only if x→y,y→z∈F,则x→z∈F;and F be a implicative filter of M;if and only if F be filter and y→(y→x)∈F implies y→x∈F;if and only if F be filter and z→(y→(y→x))∈F,z∈F implies y→x∈F;if and only if z→(y→x)∈M implies(z→y)→(z→x)∈F;if and only if z∈F and z→((x→y)→x)∈F implies x∈F;if and only if F be filter and (x→y)→x∈F implies x∈F;etc.
Key words: universal logic, UB-algebras, fuzzy logic, filter, quotient algebra
肖云萍,邹庭荣. 泛逻辑学中UB代数系统的滤子与商代数[J]. 计算机工程与应用, 2007, 43(35): 90-92.
XIAO Yun-ping,ZOU Ting-rong. Filters and quotient algebra of UB algebras in universal logic[J]. Computer Engineering and Applications, 2007, 43(35): 90-92.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/
http://cea.ceaj.org/CN/Y2007/V43/I35/90