Abstract
If the Visser rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate logics for which not all of the Visser rules are admissible is not known. In this paper we give a brief overview of results on admissible rules in the context of intermediate logics. We apply these results to some well-known intermediate logics. We provide natural examples of logics for which the Visser rule are derivable, admissible but nonderivable, or not admissible.
Similar content being viewed by others
References
Baaz, M., Ciabattoni, A., Fermüller, C.F.: Hypersequent Calculi for Gödel Logics-a Survey. J. Logic Comput. To appear
Blackburn, P., Rijke, de M., Venema, Y.: Modal Logic. Cambridge University Press, 2001
Chagrov, A., Zakharyaschev, M., Modal Logic. Oxford University Press, 1998
Dummett, M.: A propositional logic with denumerable matrix. J. Symbolic Logic 24, 96–107 (1959)
Fiorentini, C.: Kripke Completeness for Intermediate Logics. PhD-thesis, University of Milan, 2000
Gabbay, D., de Jongh, D.: A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. J. Symbolic Logic 39, 67–78 (1974)
Ghilardi, S.: Unification in intuitionistic logic. J. Symbolic Logic 64, 859–880 (1999)
Ghilardi, S.: A resolution/tableaux algorithm for projective approximations in IPC. Logic J. IGPL. 10, 229–243 (2002)
Gödel, K.: Über unabhängigkeitsbeweise im Aussagenkalkül. Ergebnisse eines mathematischen Kolloquiums 4, 9–10 (1933)
Harrop, R.: Concerning formulas of the types in intuitionistic formal systems. J. Symbolic Logic 25, 27–32 (1960)
Iemhoff, R.: Provability logic and admissible rules. PhD thesis, University of Amsterdam, 2001
Iemhoff, R.: A(nother) characterization of Intuitionistic Propositional Logic. Ann. Pure Appl. Logic 113, 161–173 (2001)
Iemhoff, R.: Towards a proof system for admissibility. Computer Science Logic '03. LNCS vol. 2803, Springer, 2003, pp. 255–270
Iemhoff, R.: Intermediate logics and Visser's rules. Notre Dame J. Formal Logic 46 (1), (2005)
Kreisel, G., Putnam, H.: Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für mathematische Logic und Grundlagenforschung 3, 74–78 (1957)
Medvedev, Ju.T.: Finite problems. Soc. Math. Dokl. 3, 227–230 (1962)
Minari, P., Wronski, A.: The property (HD) in intermediate logics. Rep. Math. Logic 22, 21–25 (1988)
Nishinura, I.: On formulas of one propositional variable in intuitionistic propositional calculus. J. Symbolic Logic 25 (4), 327–331 (1960)
van Oosten, J.: Realizability and independence of premise. Technical report, University Utrecht, 2004
Prucnal, H.: On two problems of Harvey Friedman. Studia Logica 38, 257–262 (1979)
Rose, G.F.: Propositional calculus and realizability. Trans. Am. Math. Soc. 75, 1–19 (1953)
Roziere, P.: Regles Admissibles en calcul propositionnel intuitionniste. PhD-thesis (in french), Université Paris VII, 1992
Rybakov, V.V.: A Criterion for Admissibility of Rules in the Modal System S4 and the Intuitionistic Logic. Algebra and logic 23 (5), 369–384 (1984)
Rybakov, V.V.: Admissibility of Logical Inference Rules. Elsevier, 1997
Smoryński, C.: Applications of Kripke Models. Mathematical Investigations of Intuitionistic Arithmetic and Analysis, Springer, 1973
Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, vol. I, North-Holland, 1988
Visser, A.: Substitutions of Σ-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic. Ann. Pure Appl. Logic 114 (1–3), 227–271 (2002)
Visser, A.: Rules and Arithmetics. Notre Dame J. Formal Logic 40 (1), 116–140 (1999)
Wronski, A.: Remarks on intermediate logics with axiomatizations containing only one variable. Reports on Mathematical Logic 2, 63–75 (1974)
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the Austrian Science Fund FWF under projects P16264 and P16539.
Rights and permissions
About this article
Cite this article
Iemhoff, R. On the rules of intermediate logics. Arch. Math. Logic 45, 581–599 (2006). https://doi.org/10.1007/s00153-006-0320-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-006-0320-8