A Post-style proof of completeness theorem for symmetric relatedness Logic S
Bulletin of the Section of Logic (2018)
- Volume: 47, Issue: 3
- ISSN: 0138-0680
Access Full Article
topAbstract
topHow to cite
topMateusz Klonowski. "A Post-style proof of completeness theorem for symmetric relatedness Logic S." Bulletin of the Section of Logic 47.3 (2018): null. <http://eudml.org/doc/295520>.
@article{MateuszKlonowski2018,
abstract = {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.},
author = {Mateusz Klonowski},
journal = {Bulletin of the Section of Logic},
keywords = {normal forms; Post-style proof of completeness; relatedness logic; relating logic},
language = {eng},
number = {3},
pages = {null},
title = {A Post-style proof of completeness theorem for symmetric relatedness Logic S},
url = {http://eudml.org/doc/295520},
volume = {47},
year = {2018},
}
TY - JOUR
AU - Mateusz Klonowski
TI - A Post-style proof of completeness theorem for symmetric relatedness Logic S
JO - Bulletin of the Section of Logic
PY - 2018
VL - 47
IS - 3
SP - null
AB - 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.
LA - eng
KW - normal forms; Post-style proof of completeness; relatedness logic; relating logic
UR - http://eudml.org/doc/295520
ER -
References
top- 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.
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.