The Pure and Applied Mathematics (한국수학교육학회지시리즈B:순수및응용수학)

Korean Society of Mathematical Education (한국수학교육학회)
권호 표지

BCK-ALGEBRAS WITH SUPREMUM

  • Jun, Young-Bae (Department of Mathematics Education (and RINS), Gyeongsang National University) ;
  • Lee, Kyoung-Ja (Department of Mathematics Education, Hannam University) ;
  • Park, Chul-Hwan (Department of Mathematics, University of Ulsan)
  • Published : 2009.02.28
Download PDF
⟨ Previous Next ⟩

Abstract

The notion of a BCK-algebra with supremum (briefly, sBCK-algebra) is introduced, and several examples are given. Related properties are investigated. We show that every sBCK-algebra with an additional condition has the condition (S). The notion of a dry ideal of an sBCK-algebra is introduced. Conditions for an sBCK-algerba to be an spBCK-algebra are provided. We show that every sBCK-algebra satisfying additional condition is a semi-Brouwerian algebra.

Keywords

References

  1. H.A.S. Abujabal: A relative one-point union of BCK-algebras. Math. Japonica 45 (1997), no. 1, 103-111.
  2. J. Hao: Ideal theory of BCC-algebras. Seientiae Mathematieae 1 (1998), no. 3, 373-381.
  3. Y. Imai & K. Iseki: On axiom systems of propositional calculi. Proc. Jpn. Acad. 42 (1966), 19-21. https://doi.org/10.3792/pja/1195522169
  4. K. Iseki: Some examples of BCI-algebras. Math. Seminar Notes 8 (1980), 237-240.
  5. K Iseki & S. Tanaka: An introduction to the theory of BCK-algebras. Math. Japonica 23 (1978), no. 1, 1-26.
  6. Y.B. Jun, J.Y. Kim & H.S. Kim: On Q-upper algebras. Order 22 (2005), 191-200. https://doi.org/10.1007/s11083-005-9010-0
  7. Y.B. Jun, K.J. Lee & C.H. Park: A method to make BCK-algebras. Commun. Korean Math. Soc. 22(2007), no. 4, 503-508. https://doi.org/10.4134/CKMS.2007.22.4.503
  8. J. Meng & Y.B. Jun: BCK-algebras. Kyungmoon Sa Co. Korea, 1994.
  9. P.V.R. Murty: Semi-Brouwerian algebras. J. Austral Math. Soc. 18 (1974), 293-302. https://doi.org/10.1017/S1446788700022874
  10. J. Neggers & H.S. Kim: Basic Posets, Norld Scientific Publishing Co, 1998.