@article{BSL_2018_47_3_a1, author = {Klonowski, Mateusz}, title = {A {Post-style} proof of completeness theorem for symmetric relatedness {Logic} {S}}, journal = {Bulletin of the Section of Logic}, publisher = {mathdoc}, volume = {47}, number = {3}, year = {2018}, language = {en}, url = {http://geodesic.mathdoc.fr/item/BSL_2018_47_3_a1/} }