Hostname: page-component-848d4c4894-jbqgn Total loading time: 0 Render date: 2024-07-04T11:34:49.089Z Has data issue: false hasContentIssue false

THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS

Published online by Cambridge University Press:  08 July 2021

KRZYSZTOF A. KRAWCZYK*
Affiliation:
DEPARTMENT OF LOGIC NICOLAUS COPERNICUS UNIVERSITY IN TORUŃ TORUŃ, POLAND E-mail: krawczyk@doktorant.umk.pl

Abstract

This paper introduces three model-theoretic constructions for generalized Epstein semantics: reducts, ultramodels and $\textsf {S}$-sets. We apply these notions to obtain metatheoretical results. We prove connective inexpressibility by means of a reduct, compactness by an ultramodel and definability theorem which states that a set of generalized Epstein models is definable iff it is closed under ultramodels and $\textsf {S}$-sets. Furthermore, a corollary concerning definability of a set of models by a single formula is given on the basis of the main theorem and the compactness theorem. We also provide an example of a natural set of generalized Epstein models which is undefinable. Its undefinability is proven by means of an $\textsf {S}$-set.

Type
Research Article
Copyright
© The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Carnielli, W. (1987). Methods of proofs of relatedness and dependence logic. Reports on Mathematical Logic, 21, 3546.Google Scholar
Del Cerro, L. F., & Lugardon, V. (1991). Sequents for dependence logics. Logique et Analyse, 133/134, 5771.Google Scholar
Epstein, R. L. (1979). Relatedness and implication. Philosophical Studies, 36(2), 137173.CrossRefGoogle Scholar
Epstein, R. L. (1987). The algebra of dependence logic. Reports on Mathematical Logic, 21, 1934.Google Scholar
Epstein, R. L. (1990). The Semantic Foundations of Logic. Vol. 1: Propositional Logics. Nijhoff International Philosophy Series, Vol. 35. Dordrecht: Springer.Google Scholar
Epstein, R. L. (2005). Paraconsistent logics with simple semantics. Logique et Analyse, 48(189/192), 7186.Google Scholar
Iseminger, G. (1986). Relatedness logic and entailment. The Journal of Non-Classical Logic, 3(1), 523.Google Scholar
Jarmużek, T., & Kaczkowski, B. (2014). On some logic with a relation imposed on formulae: Tableau system F. Bulletin of the Section of Logic, 43(1/2), 5372.Google Scholar
Jarmużek, T., & Klonowski, M. (2020). On logic of strictly deontic modalities. Semantic and tableau approach. Logic and Logical Philosophy, 29(3), 335380.Google Scholar
Klonowski, M. (2020). Aksjomatyzacja monorelacyjnych logik wiażacych (Axiomatisation of Monorelational Relating Logics). PhD Thesis, Nicolaus Copernicus University in Toruń.Google Scholar
Krajewski, S. (1982). On relatedness logic of Richard L. Epstein. Bulletin of the Section of Logic, 11(1/2), 2430.Google Scholar
Krajewski, S. (1986). Relatedness logic. Reports on Mathematical Logic, 20, 714.Google Scholar
Krajewski, S. (1991). One or many logics? (Epstein’s set-assignment semantics for logical calculi). The Journal of Non-Classical Logic, 8(1), 733.Google Scholar
Malinowski, J., & Palczewski, R. (2020). Relating semantics for connexive logic. In Logic in High Definition. Trends in Logical Semantics. Berlin: Springer.Google Scholar
Paoli, F. (1993). Semantics for first degree relatedness logic. Reports on Mathematical Logic, 27, 8194.Google Scholar
Paoli, F. (1996). S is constructively complete. Reports on Mathematical Logic, 30, 3147.Google Scholar
Walton, D. N. (1979a). Philosophical basis of relatedness logic. Philosophical Studies, 36(2), 115136.CrossRefGoogle Scholar
Walton, D. N. (1979b). Relatedness in intensional action chains. Philosophical Studies, 36(2), 175223.CrossRefGoogle Scholar