Publications


R. Iemhoff. The Skolemization of Prenex Formulas in Intermediate Logics.
Indagationes Mathematicae, special issue L.E.J. Brouwer, fifty years later, accepted for publication.

I. Ciardelli, R. Iemhoff and F. Yang. Questions and dependency in intuitionistic logic.
Notre Dame Journal of Formal Logic, accepted for publication. pdf ps

R. Iemhoff. Uniform interpolation and the existence of sequent calculi. Submitted. pdf ps

R. Iemhoff. Terminating Sequent Calculi for Two Intuitionistic Modal Logics.
Journal of Logic and Computation, accepted for publication. pdf ps

R. Iemhoff. On the existence of alternative Skolemization methods.
IfColog Journal of Logics and their Applications,
Special Issue Dedicated to the Memory of Grigori Mints
4 (4), 2017, p. 1075-1086. pdf ps

R. Iemhoff. Uniform interpolation and sequent calculi in modal logic.
Archive for Mathematical Logic, accepted for publicaton. pdf ps

R. Iemhoff. Remarks on simple proofs.
In: Simplicity: Ideals of Practice in Mathematics & the Arts. R. Kossak and P. Ording (eds.), Springer, 2017. pdf ps

R. Iemhoff and F. Yang. Structural completeness in propositional logics of dependence,
Archive for Mathematical Logic 55 (7), 2016, p. 955-975. pdf ps

G. Bezhanishvili, N. Bezhanishvili and R. Iemhoff. Stable canonical rules.
Journal of Symbolic Logic 81 (01), 2016, p. 284-315. pdf ps

M. Baaz and R. Iemhoff. Skolemization in intermediate logics with the finite model property.
Logic Journal of the IGPL 24 (3), 2016, p. 224-237. pdf ps

R. Iemhoff. Consequence relations and admissible rules.
Journal of Philosophical Logic 45 (3), 2016, p. 327-348. pdf ps

R. Iemhoff. A syntactic approach to unification in transitive reflexive modal logics.
Notre Dame Journal of Formal Logic 57 (2), 2016, p. 233-247. pdf ps

R. Iemhoff. On Rules.
Journal of Philosophical Logic 44 (6), 2015, p. 697-711. pdf ps

R. Iemhoff and P. Rozière. Unification in fragments of intermediate logics.
Journal of Symbolic Logic 80 (3), 2015 (p. 713-729). pdf ps

J. Goudsmit and R. Iemhoff. On unification and admissible rules in Gabbay-de Jongh logics.
Annals of Pure and Applied Logic 165 (2), 2014 (p. 652-672). pdf

R. Iemhoff. The eskolemization of universal quantifiers.
Annals of Pure and Applied Logic 162 (3), 2010 (p. 201-212). pdf ps

R. Iemhoff. Krachtige bewijzen. (In Dutch)
Algemeen Nederlands Tijdschrift voor Wijsbegeerte 102 (4), 2010 (p. 254-260) . pdf ps

R. Iemhoff. Kripke models for subtheories of CZF.
Archive for Mathematical Logic 49 (2), 2010 (p. 147-167). pdf ps

M. Baaz and R. Iemhoff. Eskolemization in intuitionistic logic.
Journal of Logic and Computation 21 (4), 2011 (p. 625-638). 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