Depth Relevance and Hyperformalism

Journal of Philosophical Logic 51 (4):721-737 (2022)
  Copy   BIBTEX

Abstract

Formal symptoms of relevance usually concern the propositional variables shared between the antecedent and the consequent of provable conditionals. Among the most famous results about such symptoms are Belnap’s early results showing that for sublogics of the strong relevant logic R, provable conditionals share a signed variable between antecedent and consequent. For logics weaker than R stronger variable sharing results are available. In 1984, Ross Brady gave one well-known example of such a result. As a corollary to the main result of the paper, we give a very simple proof of a related but strictly stronger result.

Author's Profile

Shay Logan
Kansas State University

Analytics

Added to PP
2021-11-16

Downloads
595 (#34,611)

6 months
186 (#19,395)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?