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