View article

Relations between I-quasi-valuation maps and ideals in BCK/BCI-algebras are investigated. Using the notion of an I-quasi-valuation map of a BCK/BCI-algebra, the quasi-metric space is induced, and several properties are investigated. Relations between the I-quasi-valuation map and the I-valuation map are considered, and conditions for an I-quasi-valuation map to be an I-valuation map are provided. A congruence relation is introduced by using the I-valuation map, and then the quotient structures are established and related properties are investigated. Isomorphic quotient BCK/BCI-algebras are discussed.