关于R_0-代数的公理系统

作者：黄益生

来源：数学物理学报, 2008, (05): 958-966.

• R_0-代数
• 格
• BCK-代数
• 公理系统 R_0-algebra
• Lattice
• BCK-algebra
• Axiom system

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

• 出版日期2008
• 单位三明学院