zbMATH — the first resource for mathematics

Consequence relations and admissible rules. (English) Zbl 1392.03021
Summary: 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.

03B22 Abstract deductive systems
03B20 Subsystems of classical logic (including intuitionistic logic)
03F03 Proof theory in general (including proof-theoretic semantics)
Full Text: DOI
[1] Avron, A, Simple consequence relations, Information and Computation, 92, 105-139, (1991) · Zbl 0733.03007
[2] Cabrer, L., & Metcalfe, G. Admissibility via Natural Dualities. Journal of Pure and Applied Algebra, to appear. doi:10.1016/j.jpaa.2015.02.015. · Zbl 1346.08005
[3] Došen, K. (1999). On passing from singular to plural consequences, Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, E. Orlowska (ed.), Physica-Verlag, Heidelberg, 533-547. · Zbl 0436.03018
[4] Iemhoff, R, On the admissible rules of intuitionistic propositional logic, Journal of Symbolic Logic, 66, 281-294, (2001) · Zbl 0986.03013
[5] Iemhoff, R, Intermediate logics and visser’s rules., Notre Dame Journal of Formal Logic, 46, 65-81, (2005) · Zbl 1102.03032
[6] R. Iemhoff. On rules, Journal of Philosophical Logic, to appear. doi:10.1007/s10992-015-9354-x.
[7] Jeřábek, E, Admissible rules of modal logics, Journal of Logic and Computation, 15, 411-431, (2005) · Zbl 1077.03011
[8] Minari, P; Wronski, A, The property (HD) in intermediate logics: a partial solution of a problem of H. ono, Reports on Mathematical Logic, 22, 21-25, (1988) · Zbl 0696.03009
[9] Metcalfe, G. (2012). Admissible rules: from characterizations to applications. In Proceedings of WoLLIC 2012, Lecture Notes in Computer Science 7456 (pp. 56-69). · Zbl 1362.03010
[10] Pogorzelski, WA, Structural completeness of the propositional calculus, bulletin de l’academie polonaise des sciences, Série de sciences mathématiques, astronomiques et physiques, 19, 349-351, (1971)
[11] Prucnal, T, On two problems of harvey Friedman, Studia Logica, 38, 247-262, (1979) · Zbl 0436.03018
[12] Rybakov, V. (1997). Admissibility of Logical Inference Rules. New York: Elsevier. · Zbl 0872.03002
[13] Scott, D. (1974). Completeness and axiomatizability in many-valued logic. In Henkin, L. (Ed.) Proceedings of the Tarski Symposium (Proceedings of Symposia in Pure Mathematics Vol 25), American Mathematical Society (pp. 411-435). · Zbl 0318.02021
[14] Shoesmith, D.J., & Smiley, T.J. (1978). Multiple-Conclusion Logic. Cambridge: Cambridge University Press. · Zbl 0381.03001
[15] Tarski, A. (1936). Über den Begriff der logischen Folgerung. In Actes du Congrès International de Philosophie Scientifique, fasc. 7 (Actualités Scientifiques et Industrielles 394) (pp. 1-11). Paris: Hermann et Cie. · JFM 62.1050.05
[16] Troelstra, A.S., & Schwichtenberg, H. (1996). Basic Proof Theory. Cambridge: Cambridge University Press. · Zbl 0868.03024
[17] Wójcicki, R. (1988). Theory of Logical Calculi: Basic Theory of Consequence Operations. New York: Springer. · Zbl 0682.03001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.