Klonowski, M. (2018). A Post-style proof of completeness theorem for symmetric relatedness Logic S. Bulletin of the Section of Logic, 47(3), 201–214. https://doi.org/10.18778/0138-0680.47.3.05