BCK-ALGEBRAS WITH SUPREMUM
2
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
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.
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.
참고문헌 (10)
- H.A.S. Abujabal, "A relative one-point union of BCK-algebras", Math. Japonica, 45(1), pp.103~111 (1997)
- J. Hao, "Ideal theory of BCC-algebras", Scientiae Mathematicae, 1(3), pp.373~381 (1998)
- Y. Imai, "On axiom systems of propositional calculi", Proc. Jpn. Acad, 42, pp.19~21 (1966)
- K. Iseki, "Some examples of BCI-algebras", Math. Seminar Notes, 8, pp.237~240 (1980)
- K. Iseki, "An introduction to the theory of BCK-algebras", Math. Japonica, 23(1), pp.1~26 (1978)
- Y.B. Jun, "On Q-upper algebras", Order, 22, pp.191~200 (2005)
- 전영배, "A method to make BCK-algebras", 대한수학회논문집, 22(4), pp.503~508 (2007), 대한수학회
- J. Meng, "BCK-algebras" (1994), Kyungmoon Sa Co
- P.V.R. Murty, "Semi-Brouwerian algebras", J. Austral Math. Soc, 18, pp.293~302 (1974)
- J. Neggers, "Basic Posets" (1998), World Scienti¯c Publishing Co