A. Walendziak, “On pre-Hilbert and positive implicative pre-Hilbert algebras”, B Sect Log, p. 21 pp., May 2024.