Browsing Research Articles (Mathematics and Applied Mathematics) by Subject "Admissible rule"

Browsing Research Articles (Mathematics and Applied Mathematics) by Subject "Admissible rule"

Sort by: Order: Results:

  • Admissible rules and the Leibniz hierarchy 
    Raftery, James G. (Duke University Press, 2016)
    This paper provides a semantic analysis of admissible rules and associated completeness conditions for arbitrary deductive systems, using the framework of abstract algebraic logic. Algebraizability is not assumed, so ...
  • Structural completeness in relevance logics 
    Raftery, James G.; Swirydowicz, K. (Springer, 2016-06)
    It is proved that the relevance logic R (without sentential constants) has no structurally complete consistent axiomatic extension, except for classical propositional logic. In fact, no other such extension is even ...