• East Asian mathematical journal
• /
• 제24권2호
• /
• pp.187-190
• /
• 2008

As a generalization of BCI-algebras, the notion of pseudo-BCI algebras is introduced, and some of their properties are investigated. Characterizations of pseudo-BCI algebras are established. Some conditions for a pseudo-BCI algebra to be a pseudo-BCK algebra are given.

• Journal of applied mathematics & informatics
• /
• 제38권1_2호
• /
• pp.65-77
• /
• 2020

In this paper, for any non-empty subsets A, I of a pseudo BCI-algebra X, we introduce the concept of pseudo p-closure of A with respect to I, denoted by A^pc_I, and investigate some related properties. Applying this concept, we state a necessary and sufficient condition for a pseudo BCI-algebra 1) to be a p-semisimple pseudo BCI-algebra; 2) to be a pseudo BCK-algebra. Moreover, we show that A^pc_{0} is the least positive pseudo ideal of X containing A, and characterize it by the union of some branches. We also show that the set of all pseudo ideals of X which A^pc_I = A, is a complete lattice. Finally, we prove that this notion can be used to define a closure operation.

• Journal of applied mathematics & informatics
• /
• 제27권3_4호
• /
• pp.795-807
• /
• 2009

The concepts of fuzzy pseudo ideals (resp. fuzzy pseudo p-ideals, associative fuzzy pseudo ideals, fuzzy pseudo q-ideals and fuzzy pseudo a-ideals) in a pseudo BCI-algebra are introduced, and related properties are investigated. Conditions for a fuzzy pseudo ideal to be a fuzzy pseudo p-ideal (resp. fuzzy pseudo q-ideal) are provided. A characterization and properties of an associative fuzzy pseudo ideal are given.

• 호남수학학술지
• /
• 제32권2호
• /
• pp.217-226
• /
• 2010

Using the Bu$\c{s}$neag's model ([1, 2, 3]), the notion of pseudo-valuations (valuations) on a ${\mathbf{BCK/BCI}}$-algebra is introduced, and a pseudo-metric is induced by a pseudo-valuation on ${\mathbf{BCK/BCI}}$-algebras. Based on the notion of (pseudo) valuation, we show that the binary operation in ${\mathbf{BCK/BCI}}$-algebras is uniformly continuous.

• Journal of applied mathematics & informatics
• /
• 제27권1_2호
• /
• pp.217-231
• /
• 2009

The notion of *-medial pseudo BCI-algebras is introduced, and its characterization is discussed. The concepts of associative pseudo ideals (resp. pseudo p-ideals, pseudo q-ideals and pseudo a-ideals) are introduced, and related properties are investigated. Conditions for a pseudo ideal to be a pseudo p-ideal (resp. pseudo q-ideal) are provided. A characterization of an associative pseudo ideal is given. We finally show that every pseudo BCI-homomorphic image and preimage of an associative pseudo ideal (resp. a pseudo p-ideal, a pseudo q-ideal and a pseudo a-ideal) is also an associative pseudo ideal (resp. a pseudo p-ideal, a pseudo q-ideal and a pseudo a-ideal).

• Kyungpook Mathematical Journal
• /
• 제55권4호
• /
• pp.859-870
• /
• 2015

The notion of quasi-valuation maps based on a subalgebra and an ideal in BCK/BCI-algebras is introduced, and then several properties are investigated. Relations between a quasi-valuation map based on a subalgebra and a quasi-valuation map based on an ideal is established. In a BCI-algebra, a condition for a quasi-valuation map based on an ideal to be a quasi-valuation map based on a subalgebra is provided, and conditions for a real-valued function on a BCK/BCI-algebra to be a quasi-valuation map based on an ideal are discussed. Using the notion of a quasi-valuation map based on an ideal, (pseudo) metric spaces are constructed, and we show that the binary operation * in BCK-algebras is uniformly continuous.

• 대한수학회논문집
• /
• 제27권1호
• /
• pp.7-13
• /
• 2012

In this paper we consider pseudo-BCK/BCI-algebras. In particular, we consider properties of minimal elements ($x{\leq}a$ implies x = a) in terms of the binary relation $\leq$ which is reflexive and anti-symmetric along with several more complicated conditions. Some of the properties of minimal elements obtained bear resemblance to properties of B-algebras in case the algebraic operations $\ast$ and $\circ$ are identical, including the property $0{\circ}(0{\ast}a)$ = a. The condition $0{\ast}(0{\circ}x)=0{\circ}(0{\ast}x)=x$ all $x{\in}X$ defines the class of p-semisimple pseudo-BCK/BCI-algebras($0{\leq}x$ implies x = 0) as an interesting subclass whose further properties are also investigated below.