Klonowski, Mateusz. 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.