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

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

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 introduce...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Bulletin of the Section of Logic 2018, Vol.47 (3), p.201-214
1. Verfasser: Klonowski, Mateusz
Format: Artikel
Sprache:eng
Schlagworte:
Completeness
Logic
Theorems
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0138-0680
2449-836X
DOI:10.18778/0138-0680.47.3.05