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