TY - JOUR T1 - Quotient BCI-algebras induced by pseudo-valuations TT - JF - IJMSI JO - IJMSI VL - 5 IS - 2 UR - http://ijmsi.ir/article-1-137-en.html Y1 - 2010 SP - 13 EP - 24 KW - algebra KW - pseudo-valuation KW - ideal KW - pseudo-metric KW - quotient algebra. N2 - In this paper, we study pseudo-valuations on a BCI-algebra and obtain some related results. The relation between pseudo-valuations and ideals is investigated. We use a pseudo-metric induced by a pseudovaluation to introduce a congruence relation on a BCI-algebra. We define the quotient algebra induced by this relation and prove that it is also a BCI-algebra and study its properties. M3 10.7508/ijmsi.2010.02.002 ER -