Quotient structures of BCK/BCI-algebras induced by quasi-valuation maps (Q2305839)

Summary: 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.