Walendziak, Andrzej. “On Pre-Hilbert and Positive Implicative Pre-Hilbert Algebras”. Bulletin of the Section of Logic 53, no. 3 (May 20, 2024): 345–364. Accessed March 13, 2025. https://czasopisma.uni.lodz.pl/bulletin/article/view/19018.