Walendziak, A. “Deductive Systems of Pseudo-M Algebras”. Annales Universitatis Paedagogicae Cracoviensis Studia Mathematica, vol. 21, Dec. 2022, pp. 93-116, https://studmath.uken.krakow.pl/article/view/9650.