Walendziak, Andrzej. “On Pre-Hilbert and Positive Implicative Pre-Hilbert Algebras”. Bulletin of the Section of Logic, vol. 53, no. 3, May 2024, pp. 345-64, doi:10.18778/0138-0680.2024.07.