Klonowski, Mateusz. ā€œA Post-Style Proof of Completeness Theorem for Symmetric Relatedness Logic Sā€. Bulletin of the Section of Logic 47, no. 3 (October 30, 2018): 201ā€“214. Accessed March 30, 2023. https://czasopisma.uni.lodz.pl/bulletin/article/view/4716.