Walendziak, A. On Pre-Hilbert and Positive Implicative Pre-Hilbert Algebras. B Sect Log 2024, 53, 345-364.