Depth Relevance and Hyperformalism

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


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.


Added to PP

141 (#55,595)

6 months
51 (#33,315)

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?