Tableaux for Logics of Content Relationship and Set-Assignment Semantics

Logica Universalis 16 (1-3):195-219 (2022)
  Copy   BIBTEX

Abstract

In the paper, we examine tableau systems for R. Epstein’s logics of content relationship: D (Dependence Logic), DD (Dual Dependence Logic), Eq (Logic of Equality of Content), S (Symmetric Relatedness Logic) and R (Nonsymmetric Relatedness Logic) (cf. Epstein in Philos Stud 36:137–173, 1979, Epstein in Rep. Math. Logic 21:19–34, 1987, Klonowski in Logic Log Philos 30(4):579–629, 2021, Krajewski in J Non Class Logic 8:7–33, 1991). The first tableau systems for those logics were defined by Carnielli. However, his approach has some limitations, for example, it requires a proof of functional completeness and axiomatization. Notwithstanding the first two constraints, it does not include all Epstein logics, e.g., logic Eq. Unlike Carnielli’s approach, here we use set-assignment semantics to determine those logics. Since syntax and semantics of a given logic usually determine a minimal syntax and structure of a tableau system for the logic along with other properties, we propose a uniform tableau framework for the logics determined by set-assignment semantics. What distinguishes our tableau systems is that they combine the features of tableaux for propositional logics and syllogistic logics when the problem of content of propositions is analysed in tableau proofs. To denote the content of propositions in the proofs, we use generalised labels (see Jarmużek and Goré in Landscapes in Logic, College Publications, London, 2021).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Tableaux for essence and contingency.Giorgio Venturi & Pedro Teixeira Yago - 2021 - Logic Journal of the IGPL 29 (5):719-738.
Logics of similarity and their dual tableaux. A survey.Joanna Golińska-Pilarek & Ewa Orlowska - 2008 - In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz (eds.), Preferences and Similarities. Springer. pp. 129--159.
Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Quantified temporal alethic-deontic logic.Daniel Rönnedal - 2014 - Logic and Logical Philosophy 24 (1):19-59.
Relational Logics and Their Applications.Joanna Golińska-Pilarek & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 125.

Analytics

Added to PP
2022-02-17

Downloads
18 (#811,325)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Tomasz Jarmużek
Nicolaus Copernicus University
Mateusz Klonowski
Nicolaus Copernicus University

References found in this work

The semantic foundations of logic.Richard L. Epstein - 1994 - New York: Oxford University Press.
Relatedness and implication.Richard L. Epstein - 1979 - Philosophical Studies 36 (2):137 - 173.

Add more references