A Post-style proof of completeness theorem for symmetric relatedness Logic S

• Autorzy: Mateusz Klonowski
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

normal forms; Post-style proof of completeness; relatedness logic; relating logic

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2018
• Tom: 47
• Numer: 3

Daty

wydano

2018-10-30

Twórcy

autor

Mateusz Klonowski

Identyfikatory

DOI

10.18778/0138-0680.47.3.05