A Proof of Gamma

In Katalin Bimbo (ed.), Essays in Honor of J. Michael Dunn. College Publications. pp. 261-265 (2022)
  Copy   BIBTEX

Abstract

This paper is dedicated to the memory of Mike Dunn. His untimely death is a loss not only to logic, computer science, and philosophy, but to all of us who knew and loved him. The paper gives an argument for closure under γ in standard systems of relevance logic (first proved by Meyer and Dunn 1969). For definiteness, I chose the example of R. The proof also applies to E and to the quantified systems RQ and EQ. The argument uses semantic tableaux (with one exceptional rule not satisfying the subformula property). It avoids the previous arguments’ use of cutting down inconsistent sets of formulas to consistent sets. Like all tableau arguments, it extends partial valuations to total valuations.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
Partial Logic as a Logic of Extensional Alethic Modality.Daisuke Kachi - 2007 - Journal of the Japan Association for Philosophy of Science 34 (2):61-70.
Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
Partial and paraconsistent three-valued logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
Probabilistic Canonical Models for Partial Logics.François Lepage & Charles Morgan - 2003 - Notre Dame Journal of Formal Logic 44 (3):125-138.

Analytics

Added to PP
2022-05-03

Downloads
161 (#110,107)

6 months
13 (#118,494)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Saul Kripke
Last affiliation: CUNY Graduate Center

Citations of this work

Cut and gamma I: Propositional and constant domain R.Yale Weiss - 2020 - Review of Symbolic Logic 13 (4):887-909.

Add more citations

References found in this work

No references found.

Add more references