Abstract
We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.
Article PDF
Similar content being viewed by others
References
Bezhanishvili, G., N. Bezhanishvili, and R. Iemhoff, Stable canonical rules, Journal of Symbolic Logic, to appear. Available as the ILLC Prepublication Series Report PP-2014-08.
Bezhanishvili, G., Y. Bezhanishvili, and J. Ilin, Cofinal stable logics. Submitted. Available as the ILLC Prepublication Series Report PP-2015-08, 2015.
Bezhanishvili G., Mines R., Morandi P. J.: Topo-canonical completions of closure algebras and Heyting algebras. Algebra Universalis 58(1), 1–34 (2008)
Bezhanishvili, N., and S. Ghilardi, Multiple-conclusion rules, hypersequents syntax and step frames, in R. Gore, B. Kooi, and A. Kurucz, (eds.), Advances in Modal Logic (AiML 2014), An extended version available as ILLC Prepublication Series Report PP-2014-05, College Publications, 2014, pp. 54–61.
Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Chagrov A., Zakharyaschev M.: Modal Logic. The Clarendon Press, Oxford (1997)
Cintula P., Metcalfe G.: Admissible rules in the implication-negation fragment of intuitionistic logic. Annals of Pure and Applied Logic 162(2), 162–171 (2010)
Davey B. A., Priestley H. A.: Introduction to Lattices and Order, 2nd edn., Cambridge University Press, New York (2002)
Esakia L.: Topological Kripke models. Soviet Mathematics Doklady 15, 147–151 (1974)
Friedman H.: One hundred and two problems in mathematical logic. Journal of Symbolic Logic 40, 113–129 (1975)
Ghilardi S.: Unification in intuitionistic logic. Journal of Symbolic Logic 64(2), 859–880 (1999)
Ghilardi S.: Best solving modal equations. Annals of Pure and Applied Logic 102(3), 183–198 (2000)
Ghilardi S.: Continuity, freeness, and filtrations. Journal of Applied Non-classical Logics 20(3), 193–217 (2010)
Goudsmit, J., Intuitionistic rules, admissible rules of intermediate logics. PhD thesis, University of Utrecht, 2015.
Iemhoff R.: On the admissible rules of intuitionistic propositional logic. Journal of Symbolic Logic 66(1), 281–294 (2001)
Iemhoff, R., Consequence relations and admissible rules, Journal of Philosophical Logic 2015. doi:10.1007/s10992-015-9380-8.
Jeřábek E.: Independent bases of admissible rules. Logic Journal of IGPL 16(3), 249–267 (2008)
Jeřábek E.: Canonical rules. Journal of Symbolic Logic 74(4), 1171–1205 (2009)
Kracht, M., Tools and Techniques in Modal Logic, Studies in Logic and the Foundations of Mathematics, vol. 142, North-Holland Publishing Co., Amsterdam, 1999.
Odintsov S., Rybakov V.: Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic IPC+. Annals of Pure and Applied Logic 164(7–8), 771–784 (2013)
Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics. Monografie Matematyczne Tom 41. Państwowe Wydawnictwo Naukowe, Warsaw, 1963.
RoziÉre, P., Regles admissibles en calcul propositionnel intuitionniste. PhD thesis, Université Paris VII, 1992.
Rybakov, V. V., Bases of admissible rules of the logics S4 and Int, Algebra i Logika 24(1):87–107, 123, 1985.
Rybakov, V. V., Admissibility of Logical Inference Rules, Studies in Logic and the Foundations of Mathematics, vol. 136, North-Holland Publishing Co., Amsterdam, 1997.
Rybakov V. V.: Construction of an explicit basis for rules admissible in modal system S4. Mathematical Logic Quarterly 47(4), 441–446 (2001)
Rybakov V. V.: Problems of substitution and admissibility in the modal system grz and in intuitionistic propositional calculus. Annals of Pure and Applied Logic 50, 71–106 (1990)
Rybakov V. V.: Rules of inference with parameters for intuitionistic logic. Journal of Symbolic Logic 57, 33–52 (1992)
Venema, Y., Algebras and coalgebras. In Blackburn, P., J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic, Studies in Logic and Practical Reasoning, vol. 3. Elsevier, New York, 2007, pp. 331–426.
Zakharyaschev M.: Canonical formulas for K4 I. Basic results. Journal of Symbolic Logic 57(4), 1377–1402 (1992)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bezhanishvili, N., Gabelaia, D., Ghilardi, S. et al. Admissible Bases Via Stable Canonical Rules. Stud Logica 104, 317–341 (2016). https://doi.org/10.1007/s11225-015-9642-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9642-z