PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2018 | 47 | 3 |
Tytuł artykułu

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

Treść / Zawartość
Warianty tytułu
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.
Rocznik
Tom
47
Numer
3
Opis fizyczny
Daty
wydano
2018-10-30
Twórcy
  • Nicolaus Copernicus University, Department of Logic
Bibliografia
  • R. L. Epstein, Relatedness and Implication, Philosophical Studies, Vol. 36:2 (1979), pp. 137–173.
  • R. L. Epstein, (with the assistance and collaboration of: W. A. Camielli, I. M. L. D’Ottaviano, S. Krajewski, R. D. Maddux), The Semantic Foundtations of Logic. Volume 1: Propositional Logics, Springer Science+Business Media, Dordrecht (1990).
  • T. Jarmużek and B. Kaczkowski, On some Logic with a Relation Imposed on Formulae: Tableau System F, Bulletin of the Section of Logic, Vol. 43:1/2 (2014), pp. 53–72.
  • S. Krajewski, One or Many Logics? (Epstein’s Set-Assignement Semantics for Logical Calculi), The Journal of Non-Classical Logic 8:1 (1991), pp. 7–33.
  • S. Krajewski, On Relatedness Logic of Richard L. Epstein, Bulletin of the Section of Logic, Vol. 11:1/2 (1982), pp. 24–30.
  • J. B. Rosser, Logic for Mathematicians, McGraw-Hill, New York (1953).
  • D. Walton, Philosophical Basis of Relatedness Logic, Philosophical Studies, Vol. 36:2 (1979), pp. 115–136.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ojs-doi-10_18778_0138-0680_47_3_05
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.