数学物理学报

• 论文 • 上一篇    下一篇

关于R0 -代数的公理系统

黄益生   

  1. (三明学院数学系 福建三明 365004)
  • 收稿日期:2005-12-25 修回日期:2007-11-03 出版日期:2008-10-25 发布日期:2008-10-25
  • 通讯作者: 黄益生
  • 基金资助:
    福建省自然科学基金(Z0511050)资助

On Axion Systems for R0-algebras

Huang Yisheng   

  1. (Department of Mathematics, Sanming College, Sanming, Fujian 365004)
  • Received:2005-12-25 Revised:2007-11-03 Online:2008-10-25 Published:2008-10-25
  • Contact: Huang Yisheng

摘要: 该文给出了R0 -代数的一些简化公理系统,并证明了R0 -代数等价于满足某些条件的BCK -代数.

关键词: R0 -代数, 格, BCK -代数, 公理系统

Abstract: In this paper the author gives some reduced axiom systems of R0-algebras, and shows that R0-algebras are equivalent to BCK-algebras satisfying some conditions.

Key words: R0-algebra, Lattice, BCK-algebra, Axiom system

中图分类号: 

  • 03G25