Geodesic
A Post-style proof of completeness theorem for symmetric relatedness Logic S
Bulletin of the Section of Logic, Tome 47 (2018) no. 3

Voir la notice de l'article provenant de la source Library of Science

One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.
Keywords: normal forms, Post-style proof of completeness, relatedness logic, relating logic 
@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/}
}
TY  - JOUR
AU  - Klonowski, Mateusz
TI  - A Post-style proof of completeness theorem for symmetric relatedness Logic S
JO  - Bulletin of the Section of Logic
PY  - 2018
VL  - 47
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2018_47_3_a1/
LA  - en
ID  - BSL_2018_47_3_a1
ER  - 
%0 Journal Article
%A Klonowski, Mateusz
%T A Post-style proof of completeness theorem for symmetric relatedness Logic S
%J Bulletin of the Section of Logic
%D 2018
%V 47
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2018_47_3_a1/
%G en
%F BSL_2018_47_3_a1
Klonowski, Mateusz. A Post-style proof of completeness theorem for symmetric relatedness Logic S. Bulletin of the Section of Logic, Tome 47 (2018) no. 3. http://geodesic.mathdoc.fr/item/BSL_2018_47_3_a1/