Walendziak, A. (2024) “On Pre-Hilbert and Positive Implicative Pre-Hilbert Algebras”, Bulletin of the Section of Logic, 53(3), pp. 345–364. doi: 10.18778/0138-0680.2024.07.