A Construction of a Congruence in a UP-algebra by a Pseudo-valuation

Abstract

In our recently published paper, we study pseudo-valuations on UP-algebrasand obtain some related results. In this article, we use a pseudo-metric induced by a pseudo-valuationto introduce a congruence relation on a UP-algebra. In addition, we constructthe quotient algebra induced by this relation and prove that it is also a UP-algebra.