A. Walendziak, “On Pre-Hilbert and Positive Implicative Pre-Hilbert Algebras”, B Sect Log, vol. 53, no. 3, pp. 345–364, May 2024, doi: 10.18778/0138-0680.2024.07.