Several Classes of BCI-algebras and their Properties

被引：7
|
作者：
Ding, Yuzhong [1 ]
机构：
[1] Qingdao Univ Sci & Technol, Qingdao, Peoples R China
来源：
FORMALIZED MATHEMATICS | 2007年 / 15卷 / 01期
关键词：
D O I：
10.2478/v10037-007-0001-z
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
I have formalized the BCI-algebras closely following the book [6], sections 1.1 to 1.3, 1.6, 2.1 to 2.3, and 2.7. In this article the general theory of BCI-algebras and several classes of BCI-algebras are given.
引用
收藏
页码：1 / 9
页数：9
相关论文
共 50 条
  • [1] Ideals of BCI-algebras and their Properties
    Wu, Chenglong
    Ding, Yuzhong
    [J]. FORMALIZED MATHEMATICS, 2008, 16 (02): : 109 - 114
  • [2] (SEMI)PRIME BCI-ALGEBRAS: A CLASS OF BCI-ALGEBRAS
    Najafi, A.
    Saeid, A. Borumand
    [J]. UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN-SERIES A-APPLIED MATHEMATICS AND PHYSICS, 2022, 84 (03): : 75 - 88
  • [3] Periodic BCI-algebras and Subgroups of Adjoint Monoids of BCI-algebras
    Wenping Huang
    Dajun Sun
    [J]. Semigroup Forum, 1998, 57 : 315 - 320
  • [4] BCI-algebras with Condition (S) and their Properties
    Sun, Tao
    Zhao, Junjie
    Liang, Xiquan
    [J]. FORMALIZED MATHEMATICS, 2008, 16 (01): : 65 - 71
  • [5] On Generalized Derivations of BCI-Algebras and Their Properties
    Ardekani, L. Karnali
    Davvaz, B.
    [J]. JOURNAL OF MATHEMATICS, 2014, 2014
  • [6] Periodic BCI-algebras and subgroups of adjoint monoids of BCI-algebras
    Huang, WP
    Sun, DJ
    [J]. SEMIGROUP FORUM, 1998, 57 (03) : 315 - 320
  • [7] CENTRALIZERS OF BCI-ALGEBRAS
    Najafi, A.
    Saeid, A. Borumand
    Eslami, E.
    [J]. MISKOLC MATHEMATICAL NOTES, 2021, 22 (01) : 407 - 425
  • [8] On derivations of BCI-algebras
    Jun, YB
    Xin, XL
    [J]. INFORMATION SCIENCES, 2004, 159 (3-4) : 167 - 176
  • [9] On topological BCI-algebras
    Jun, YB
    Xin, XL
    Lee, DS
    [J]. INFORMATION SCIENCES, 1999, 116 (2-4) : 253 - 261
  • [10] A Structure of BCI-Algebras
    Chajda, Ivan
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2014, 53 (10) : 3391 - 3396
12345