Klonowski M. A Post-style proof of completeness theorem for symmetric relatedness Logic S. B Sect Log. 2018;47(3):201–214. doi:10.18778/0138-0680.47.3.05