Walendziak A. On Pre-Hilbert and Positive Implicative Pre-Hilbert Algebras. B Sect Log. 2024;53(3):345-364. doi:10.18778/0138-0680.2024.07