Results for 'hyperformalism'

  1. Depth Relevance and Hyperformalism.Shay Allen Logan - 2022 - Journal of Philosophical Logic 51 (4):721-737.
    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 (...)
    Export citation  
    Bookmark   2 citations