TY - JOUR
AU - Klonowski, Mateusz
PY - 2018/10/30
Y2 - 2023/03/30
TI - A Post-style proof of completeness theorem for symmetric relatedness Logic S
JF - Bulletin of the Section of Logic
JA - B Sect Log
VL - 47
IS - 3
SE - Research Article
DO - 10.18778/0138-0680.47.3.05
UR - https://czasopisma.uni.lodz.pl/bulletin/article/view/4716
SP - 201–214
AB - <p>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.</p>
ER -