Publications

• R. Iemhoff. The eskolemization of universal quantifiers, 2009, submitted. pdf ps

• R. Iemhoff. Kripke models for subtheories of CZF.
  Archive for Mathematical Logic , 2009, to appear. pdf ps

• M. Baaz and R. Iemhoff. Eskolemization in intuitionistic logic.
  Journal of Logic and Computation, 2009, to appear. pdf ps

• R. Iemhoff and G. Metcalfe. Hypersequent systems for the admissible rules of modal and intermediate logics.
  Lecture Notes in Computer Science 5407, Proceedings of LFCS '09, S. Artemov and A. Nerode (eds.), Springer, 2009 (p.230 - 245). pdf ps

• R. Iemhoff and G. Metcalfe. Proof theory for admissible rules.
  Annals of Pure and Applied Logic 159 (1-2), 2009 (p.171-186). pdf ps

• R. Iemhoff. Intuitionism in the Philosophy of Mathematics.
  Stanford Encyclopedia of Philosophy, September 2008. link

• M. Baaz and R. Iemhoff. On Skolemization in constructive theories.
  Journal of Symbolic Logic 73(3), 2008 (p. 969-998). pdf ps

• S. Artemov and R. Iemhoff. The basic intuitionistic logic of proofs.
  Journal of Symbolic Logic, 72 (2), 2007 (p. 439-451). pdf ps

• M. Baaz and R. Iemhoff. Konstruktivismus und Intuitionismus. (German)
  Internationale Mathematische Nachrichte 150, Oesterreich, 2006. pdf ps

• M. Baaz and R. Iemhoff. On the Skolemization of existential quantifiers in intuitionistic logic.
  Annals of Pure and Applied Logic, 142 (1-3), 2006 (p.269-295). pdf ps

• M. Baaz and R. Iemhoff. Gentzen calculi for the existence predicate.
  Studia Logica, 82 (1), 2006 (p.7-23). pdf ps

• R. Iemhoff. On the rules of intermediate logics.
  Archive for Mathematical Logic, 45 (5), 2006 (p. 581-599). pdf ps

• M. Baaz and R. Iemhoff. On the proof theory of the existence predicate.
  We will show them! Essays in honour of Dov Gabbay, S. Artemov, H. Barringer, A. Garcez, L. Lamb and J. Woods (eds.), King's College Publications, 2005. pdf ps

• M. Baaz and R. Iemhoff. On interpolation in existence logics.
  Proceedings LPAR 2005, Lecture Notes in Computer Science 3835, 2005 (697-711). pdf ps

• R.Iemhoff. A note on linear Kripke models.
  Journal of Logic and Computation, 15 (4), 2005 (p. 489-506). pdf ps

• R. Iemhoff, D. de Jongh and C. Zhou. Properties of Intuitionistic Provability and Preservativity Logics.
  COMBLOG '04, Logic Journal of the IGPL 13 (6), 2005. pdf ps

• R. Iemhoff. Intermediate logics and Visser's rules.
  Notre Dame Journal of Formal Logic, 46 (1), 2005 (p. 65-81). pdf ps

• S. Artemov and R. Iemhoff. From de Jongh's theorem to intuitionistic logic of proofs.
  Dick de Jongh's Festschrift, University of Amsterdam, 2004. pdf ps

• S. Buss and R. Iemhoff. The depth of intuitionistic cut free proofs.
  Manuscript, 2003. Unpublished paper, as after completion we found out that results similar to the main theorem had been obtained before. pdf ps

• R. Iemhoff. Towards a proof system for admissibility.
  Computer Science Logic '03, M. Baaz and A. Makowsky (eds.), Springer LNCS 2803, 2003 (p. 255-270). pdf ps

• R. Iemhoff. Preservativity Logic. (An analogue of interpretability logic for constructive theories).
  Mathematical Logic Quarterly 49 (3), 2003 (p. 1-21). pdf ps

• R. Iemhoff. A(nother) characterization of intuitionistic propositional logic.
  Annals of Pure and Applied Logic 113 (1-3), 2001 (p. 161-173). pdf ps

• R. Iemhoff. On the admissible rules of intuitionistic propositional logic.
  Journal of Symbolic Logic 66, 2001 (p. 281-294). pdf ps

• R. Iemhoff. A modal analysis of some principles of the provability logic of Heyting arithmetic.
  Advances in Modal Logic ('98), Volume 2, M. de Rijke, K. Segerberg, H. Wansing, M. Zakharyaschev (eds.), Stanford, CA: CSLI Publications, 2001 (p. 319-354). pdf ps

• R. Iemhoff. Provability logic and admissible rules.
  PhD thesis , University of Amsterdam, 2001. pdf ps

---

home