Przeglądaj Bulletin of the Section of Logic według tematu "Relatedness logic"
Wyświetlanie pozycji 1-1 z 1
-
A post-style proof of completeness theorem for symmetric relatedness Logic S
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)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 ...