Abstract
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 the meaning and significance of the principal notions vary with the level of the Leibniz hierarchy at which they are presented. As a case study of the resulting theory, the nonalgebraizable fragments of relevance logic are considered.
Citation
James G. Raftery. "Admissible Rules and the Leibniz Hierarchy." Notre Dame J. Formal Logic 57 (4) 569 - 606, 2016. https://doi.org/10.1215/00294527-3671151
Information