Klonowski M. A Post-style proof of completeness theorem for symmetric relatedness Logic S. B Sect Log [Internet]. 2018 Oct. 30 [cited 2024 Apr. 24];47(3):201–214. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/4716