- Tytuł:
- A Post-style proof of completeness theorem for symmetric relatedness Logic S
- Autorzy:
- Klonowski, Mateusz
- Powiązania:
- https://bibliotekanauki.pl/articles/749984.pdf
- Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
normal forms
Post-style proof of completeness
relatedness logic
relating logic - Opis:
- 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.
- Źródło:
-
Bulletin of the Section of Logic; 2018, 47, 3
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł