期刊文献+

R_0代数中的真布尔元 被引量:4

Proper Boolean element in R_0-algebra
下载PDF
导出
摘要 通过研究R0代数中一类特殊的元——真布尔元的性质,给出了一些特别的R0等式,并据此得到了真布尔元对R0代数分类的充要条件,为格上研究R0代数开辟了一个新的方向。 The properties of a special element in R0algebra--proper Boolean element were studied,some unique R0equivallences, furchermore, necessary and sufficient conditions about the partition of R0algebra with proper Boolean element were obtained, so that it provides a new way to research R0algebra on lattice.
作者 许文艳 韩诚
出处 《宝鸡文理学院学报(自然科学版)》 CAS 2003年第4期259-261,268,共4页 Journal of Baoji University of Arts and Sciences(Natural Science Edition)
关键词 R0代数 中点 真布尔元 乘积R0代数 R_0-algebra middle point proper Boolean element direct product R_0-algebra
  • 相关文献

参考文献5

二级参考文献34

共引文献243

同被引文献22

  • 1王保社.关于R_0代数的布尔元[J].咸阳师范学院学报,2004,19(4):11-13. 被引量:1
  • 2韩诚.关于R_0代数公理系统的简化与独立性的修正[J].西北大学学报(自然科学版),2005,35(6):669-672. 被引量:11
  • 3朱怡权.R_0-代数的Boole可补元与直积分解[J].高校应用数学学报(A辑),2006,21(4):495-500. 被引量:5
  • 4Zhu Y Q. On the construction of lattice implication algebras [A]. Applied Computational Intelligence (Proceedings of the 6th International FLINS Conference) [C]. London:World Scientific Publishing Co. Pte. Ltd. , 2004.45-50.
  • 5Busneag D, Piciu D. BL-algebra of fractions and maximal BL-algebra of quotients [J].Soft Computing, 2005,9 : 544 -555.
  • 6Busneag D, Piciu D. Localization of BL-algebras[J]. Soochow Journal of Mathematics,2006,32(1) :127-159.
  • 7Busneag D, Pieiu D. Localization of MV-algebras and lu-groups[J].Algebra universalis,2003,50: 359-380.
  • 8Noguera C, Esteva F, Gispert J. On some varieties of MTL-algebras[J]. Logic Journal of the IGPL, 2005,13 (4): 443-466.
  • 9Blok W J, Pigozzi D. On the congruence extension property[J]. Algebra Universalis,1997,38:391-394.
  • 10Blok W J, Pigozzi D. Local deduction theorem in algebraic logic[A]. Andreka H, Monk J D, Nemeti I. Algebraic logic (Proc. Conf. Budapest 1988)[C]. Colloq. Maths. Soc. J. Bolyai, 1991,54:75-105.

引证文献4

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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