期刊文献+

泛逻辑学中UB代数系统的若干性质 被引量:4

Some properties of UB-algebras systems in universal logic
下载PDF
导出
摘要 文[1]提出了理想状态(h=k=0.5)下泛逻辑学对应的代数系统-UB代数,给出了它的一些性质。在[1]的基础上,进一步讨论了UB代数系统,得到一些有趣的结果,这些结果对UB代数的进一步研究是有用的。 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→z)∨(y→z);(8)(x→y)z=(x→z)∧(y→z);etc.
出处 《计算机工程与应用》 CSCD 北大核心 2007年第21期72-74,共3页 Computer Engineering and Applications
基金 华中农业大学科研基金资助
关键词 泛逻辑 UB代数 有界格 模糊逻辑 伴随对 universal logic UB algebraic Bounded Lattice Fuzzy Logic Adjoint Pairs
  • 相关文献

参考文献8

二级参考文献37

  • 1何颖俞,王国俊.L^*-Lindenbaum代数的结构与L^*公理系统的简化形式[J].工程数学学报,1998,15(1):1-8. 被引量:15
  • 2徐扬.格蕴涵代数与BCK代数的关系[J].模糊系统与数学,1997,11(1):10-15. 被引量:10
  • 3刘军 徐扬.格蕴涵代数中的性质(P)的讨论[J].兰州大学学报,1996,32:344-348.
  • 4裴道武.R0代数中的MP滤子与同余关系[J].模糊系统与数学,2002,19:22-25.
  • 5李志伟 李佳华.Fuzzy蕴涵代数的若干性质[J].模糊系统与数学,2000,14:19-21.
  • 6裴道武.基于形式系统L^*的模糊逻辑与模糊推理的研究[M].成都:四川大学,2000..
  • 7徐扬 秦克云.格蕴涵代数的格论性质.应用数学文集[M].成都:成都科技大学出版社,..
  • 8刘绍学.环与代数[M].北京:科学出版社,1986..
  • 9Chang C C.Algebraic analgsis of many-valued logics[J].Trams.Amer.Math.Soc.,1958,88:467~490.
  • 10Cignoli R,Dottaviano I M L,Mundici D.Algebraic foundations of many-valued reasoning[M].Dordrecht:Kluwer Academic Publicbers,2000.

共引文献162

同被引文献18

  • 1罗敏霞,何华灿.一种泛逻辑代数系统[J].计算机工程与应用,2005,41(14):21-22. 被引量:7
  • 2邹庭荣,肖云萍.关联BCK代数的P滤子、I滤子及BFI滤子[J].模糊系统与数学,2005,19(3):55-58. 被引量:4
  • 3肖云萍,邹庭荣.N-半单代数与蕴涵代数[J].模糊系统与数学,2006,20(1):99-102. 被引量:8
  • 4Dudek W A,Zhang X H. On atoms in BCC-algebras[J]. Discussions Mathematicae Algebra and Stochastic Methods, 1995,15.
  • 5Zou T R. The vartity of commutative BCK-algebras is 2-based[J]. The Southeast Asian Bulletin of Math. ,2000,23.
  • 6Jie M, Jun Y B. BCK-algebras[M]. Seoul:Kyung Moonsa Co, 1994.
  • 7Jaeobson N. Basic algebra II[M]. W.H. Freeman and Compang, 1980.
  • 8Jacobson N.Basic algebra Ⅱ[M].[S.l.]:W H Freeman and Co,1980.
  • 9Zou T R.The vartity of commutative BCK-algebras is 2-based[J]. The Southeast Asian Bulletin of Math,2000(23).
  • 10Dudek W A,Zhang X H.On atoms in BCC-algebras[J].Discussions Mathematicae Algebra and Stochastic Methods,1995,15.

引证文献4

二级引证文献8

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部