Consequence Relations and Admissible Rules

This paper contains a detailed account of the notion of admissibility in the setting of consequence relations. It is proved that the two notions of admissibility used in the literature coincide, and it provides an extension to multi–conclusion consequence relations that is more general than the one usually encountered in the literature on admissibility. The notion of a rule scheme is introduced to capture rules with side conditions, and it is shown that what is generally understood under the extension of a consequence relation by a rule can be extended naturally to rule schemes, and that such extensions capture the intuitive idea of extending a logic by a rule.

[1]  Arnon Avron,et al.  Simple Consequence Relations , 1988, Inf. Comput..

[2]  Tsukuba J. Math.  ANOTHER PROOF OF THE STRONG COMPLETENESS OF THE INTUITIONISTIC FUZZY LOGIC , 1987 .

[3]  Sandra Lowe.  Theory Of Logical Calculi Basic Theory Of Consequence Operations , 2016 .

[4]  Satoko Titani,et al.  Intuitionistic fuzzy logic and intuitionistic fuzzy set theory , 1984, Journal of Symbolic Logic.

[5]  Dana S. Scott,et al.  Rules and Derived Rules , 1974 .

[6]  Rosalie Iemho.  On the Admissible Rules of Intuitionistic Propositional Logic , 2008 .

[7]  George Metcalfe.  Admissible Rules: From Characterizations to Applications , 2012, WoLLIC.

[8]  Helmut Schwichtenberg,et al.  Basic proof theory , 1996, Cambridge tracts in theoretical computer science.

[9]  Tadeusz Prucnal,et al.  On two problems of Harvey Friedman , 1979 .

[10]  Mircea Tirnoveanu,et al.  Review: W. A. Pogorzelski, Structural Completeness of the Propositional Calculus , 1975 .

[11]  D. Scott.  Completeness and axiomatizability in many-valued logic , 1974 .

[12]  George Metcalfe,et al.  Admissibility via natural dualities , 2015 .

[13]  Ryszard Wójcicki,et al.  Theory of Logical Calculi , 1988 .

[14]  W. V. Quine.  Review: Alfred Tarski, Uber den Begriff der Logischen Folgerung , 1937 .

[15]  Rosalie Iemhoff,et al.  Intermediate Logics and Visser's Rules , 2005, Notre Dame J. Formal Log..

[16]  Vladimir V. Rybakov,et al.  Admissibility of Logical Inference Rules , 2011 .

[17]  Arnon Avron,et al.  Two Types of Multiple-Conclusion Systems , 1998, Log. J. IGPL.

[18]  D. J. Shoesmith,et al.  Multiple-Conclusion Logic , 1978 .

[19]  Emil Jerábek,et al.  Admissible Rules of Modal Logics , 2005, J. Log. Comput..