Relatively compatible operations in BCK-algebras and some related algebras
Noemí Lubomirsky, Hernán Javier San Martín, W. J. Zuluaga Botero · Logic Journal of IGPL · 2017
Let A be a BCK-algebra and f : A k → A a function.The main goal of this paper is to give a necessary and sufficient condition for f to be compatible with respect to every relative congruence of A. We extend this result in some related algebras, as for example in pocrims.