Profile

Rosalie Iemhoff is a logician specializing in mathematical logic. Her research interests range from mathematical to philosophical subjects, and the logics and theories that she is concerned with are in general nonclassical, because she is particularly interested in the logical properties that distinguish nonclassical forms of reasoning from classical reasoning. Among the nonclassical forms of reasoning, constructive reasoning, which is based on a computational view on proofs, has her special interest. She is a proof theorist in the sense that her methods are often of a syntactic nature, using proof systems rather than models or algebras.

Rosalie studied mathematics at the University of Amsterdam, and obtained a PhD in mathematical logic under supervision of A. Troelstra at the same university in 2001. After spending one year as a postdoc at the University of California, San Diego, she became a Marie Curie fellow in Vienna, Austria. She spent four years in Vienna before joining the Department of Philosophy at Utrecht University in 2006. In 2009 she received a VIDI grant from the Netherlands Organisation for Scientific Research for a five year research project called The power of constructive proofs.

Rosalie is editor of the Journal of Philosophical Logic and Mathematical Logic Quarterly. She has been editor of the Review of Symbolic Logic and she has been a member of the council of the Association for Symbolic Logic for two terms.


Involved in the following study programme(s)
Gegenereerd op 2017-10-22 15:29:38
All publications
  2017 - Scholarly publications
Iemhoff, R. (2017). Remarks on simple proofs. In Roman Kossak & Philip Ording (Eds.), Simplicity: Ideals of Practice in Mathematics and the Arts (pp. 143-151). Springer.
  2016 - Scholarly publications
Iemhoff, R. (2016). A syntactic approach to unification in transitive reflexive modal logics. Notre Dame Journal of Formal Logic, 57 (2), (pp. 233-247).
Iemhoff, R. (2016). Consequence relations and admissible rules. Journal of Philosophical Logic, 45 (3), (pp. 327-348).
Iemhoff, R. (2016). On the existence of alternative Skolemization methods. IfCoLog Journal of Logics and their Applications
Iemhoff, R. & Baaz, Matthias (2016). Skolemization in intermediate logics with the finite model property. Logic Journal of the IGPL, 24 (3), (pp. 224-237).
Iemhoff, R., Bezhanishvili, N. & Bezhanishvili, Guram (2016). Stable canonical rules. Journal of Symbolic Logic, 81 (01), (pp. 284 - 315).
Iemhoff, R. & Yang, F. (2016). Structural completeness in propositional logics of dependence. Archive for Mathematical Logic, 55 (7), (pp. 955-975).
Iemhoff, R. (2016). Uniform interpolation and sequent calculi in modal logic. Archive for Mathematical Logic
  2016 - Other output
R. Iemhoff (01.09.2016) 7th workshop on Intuitionistic Modal Logic and Applications
R. Iemhoff (10.09.2016) Collegium Logicum 2016
R. Iemhoff (11.10.2016) Harde Waarheid
R. Iemhoff (17.05.2016) Proof Complexity Workshop, St Petersburg, 2016
R. Iemhoff (01.09.2016) Topology, Algebra, and Categories in Logic
  2015 - Scholarly publications
Iemhoff, R. (2015). On Rules. Journal of Philosophical Logic, 44 (6), (pp. 697-711).
Iemhoff, R. & Roziere, P. (2015). Unification in Intermediate Logics. Journal of Symbolic Logic, 80 (3), (pp. 713-729).
  2015 - Other output
R. Iemhoff (08.07.2015) Congress of Logic, Methodology and Philosophy of Science 2015
R. Iemhoff (05.05.2015) Interpolation and Proof Systems
R. Iemhoff (30.01.2015) Interpolation and Proof Systems
R. Iemhoff (01.09.2015) Lattices, algebras and truth degrees 2016
R. Iemhoff (17.08.2015) Logic Colloquium 2016
R. Iemhoff (01.09.2015) Logical Foundations of Computer Science 2016
R. Iemhoff (11.02.2015) Logisch toch?
  2014 - Scholarly publications
Iemhoff, R. (2014). On Rules. Logic Group preprint series, 304 (14 p.).
Goudsmit, J.P. & Iemhoff, R. (2014). On unification and admissible rules in Gabbay-de Jongh logics. Annals of Pure and Applied Logic, 165 (2), (pp. 652) (672 p.).
Goudsmit, J.P. & Iemhoff, R. (2014). On unification and admissible rules in Gabbay–de Jongh logics. Annals of Pure and Applied Logic, 165 (2), (pp. 652-672) (21 p.).
  2014 - Other output
R. Iemhoff (15.05.2014) Algebra and Coalgebra meet Proof Theory
R. Iemhoff (29.09.2014) Remarks on unification in nontransitive modal logic
R. Iemhoff (09.07.2014) Structures and Deduction 2014
  2013 - Scholarly publications
Iemhoff, R. (2013). A note on consequence. Logic Group preprint series, 314 (16 p.).
  2013 - Other output
R. Iemhoff (01.09.2013) 9th International Computer Science Symposium in Russia
R. Iemhoff (05.08.2013) Admissible Rules (tutorial with George Metcalfe)
R. Iemhoff (01.09.2013) Advances in Modal Logic
R. Iemhoff (01.09.2013) Logic, Algebra and Truth Degrees
R. Iemhoff (22.07.2013) On Rules
R. Iemhoff (31.01.2013) On Rules (invited lecture)
R. Iemhoff (01.11.2013) PhDs in Logic VI (Utrecht)
R. Iemhoff (24.09.2013) Rules of Inference (tutorial)
R. Iemhoff (04.04.2013) Simple Proofs (invited lecture)
  2012 - Other output
R. Iemhoff (13.11.2012) Skolemization and Herbrand's theorem in constructive theories (invited lecture)
R. Iemhoff (20.08.2012) Substitutions and rules (invited lecture)
R. Iemhoff (08.11.2012) Substitutions and rules (invited lecture)
R. Iemhoff (07.09.2012) The structure of constructive proofs (invited lecture)
R. Iemhoff (13.06.2012) Unification in modal and intermediate logics (lecture)
  2011 - Other output
R. Iemhoff (01.01.2011) Review of Symbolic Logic
R. Iemhoff (26.05.2011) Workshop on Admissible Rules and Unification
  2010 - Scholarly publications
Iemhoff, R. (2010). Krachtige bewijzen. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 102, (pp. 254-260) (7 p.).
Iemhoff, R. (2010). The eskolemization of universal quantfiers. Annals of Pure and Applied Logic, 162, (pp. 201-212) (12 p.).
  2009 - Scholarly publications
Iemhoff, R. & Baaz, M. (2009). Eskolemization in intuitionistic logic. Journal of Logic and Computation, doi:10.109.
Iemhoff, R. (2009). Hypersequent systems for the admissible rules of modal and intermediate logics. Lecture Notes in Computer Science 5407, Proceedings of LFCS '09 (pp. 230-245) (16 p.). Springer.
Iemhoff, R. (2009). Kripke models for subtheories of CZF. Archive for Mathematical Logic, doi: 10.10.
Iemhoff, R. & Metcalfe, G. (2009). Proof theory for admissible rules. Annals of Pure and Applied Logic (159 (1-2)), (pp. 171-186) (16 p.).
  2009 - Other output
R. Iemhoff (03.06.2009) co-coördinator congres Logical Foundations of Computer Science
R. Iemhoff (14.07.2009) Constructivism and Proof Theory
R. Iemhoff (05.01.2009) Hypersequent calculi for admissibility
R. Iemhoff (07.11.2009) Member Program Committee of Topology, Algebra, and Categories in Logics
R. Iemhoff (07.12.2009) Skolemization in constructive theories
  2008 - Scholarly publications
Iemhoff, R. (2008). Intuitionism in the Philosophy of Mathematics. online Stanford Encyclopedia of Philosophy lemma in online Stanford Encyclopedia of Philosophy.
Iemhoff, R. & Baaz, M (2008). On Skolemization in constructive theories. Journal of Symbolic Logic, 73 (3), (pp. 969-998) (30 p.).
  2008 - Other output
R. Iemhoff (01.05.2008) Translations and Kripke models for constructive set theories
R. Iemhoff (06.03.2008) Translations in Constructive Set Theory
  2007 - Scholarly publications
Iemhoff, R. & Artemov, S. (2007). The Basic Intuitionistic Logic of Proofs. Journal of Symbolic Logic, 72 (2), (pp. 439-451) (13 p.).
  2006 - Scholarly publications
Iemhoff, R. & Baaz, M (2006). Gentzen calculi for the existence predicate. Studia Logica, 82 (1).
Iemhoff, R. & Baaz, M (2006). Konstruktivismus und Intuitionismus. Internationale Mathematische Nachrichte, Oesterreich, 150.
Iemhoff, R. (2006). On the rules of intermediate logics. Archive for Mathematical Logic, 45 (5), (pp. 581-599) (19 p.).
Iemhoff, R. & Baaz, M (2006). On the Skolemization of existential quantifiers in intuitionistic logic. Annals of Pure and Applied Logic, 142 ((1-3)), (pp. 269-295) (27 p.).
  2006 - Other output
Iemhoff, R. (23.04.2006). co-coördinator. Goedel Centenary.
  2005 - Scholarly publications
Iemhoff, R. & Baaz, M (2005). On interpolation in existence logics. Proceedings LPAR 2005 (pp. 697-711) (15 p.). LPAR.
Iemhoff, R. & Baaz, M. (2005). On the proof theory of the existence predicate. In S Artemov, H Barringer, A Garcez, L Lamb & J Woods (Eds.), We will show them! Essays in honour of Dov Gabbay London: King's College Publications.
  2004 - Scholarly publications
Iemhoff, R. (2004). Intermediate logics and Visser's rules. Notre Dame Journal of Formal Logic, 46, (pp. 65-81) (17 p.).
Iemhoff, R., de Jongh, D.H.J. & Zhou, C. (2004). Properties of Intuitionistic Provability and Preservativity Logics. COMBLOG '04 COMBLOG.
  2003 - Scholarly publications
Iemhoff, R. & Artemov, S. (2003). From de Jongh's theorem to intuitionistic logic of proofs. Dick de Jongh's Festschrift Amsterdam: University of Amsterdam.
Iemhoff, R. (2003). Towards a proof system for admissibility. In M Baaz & A Makowsky (Eds.), Computer Science Logic '03 (pp. 225-270) (46 p.). Springer, Computer Science Logic.
  2002 - Scholarly publications
Iemhoff, R. (2002). Preservativity Logic. (An analogue of interpretability logic for constructive theories). Mathematical Logic Quarterly, 49, (pp. 1-21) (21 p.).
  2001 - Scholarly publications
Iemhoff, R. (2001). On the admissible rules of intuitionistic propositional logic. Journal of Symbolic Logic, 66, (pp. 281-294) (14 p.).
  2000 - Scholarly publications
Iemhoff, R. (2000). A(nother) characterization of intuitionistic propositional logic. Annals of Pure and Applied Logic, 113, (pp. 161-173) (13 p.).
  1998 - Scholarly publications
Iemhoff, R. (1998). A modal analysis of some principles of the provability logic of Heyting arithmetic. In M de Rijke, K Segerberg, H Wansing & M Zakharyaschev (Eds.), Advances in Modal Logic ('98) (pp. 319-354) (36 p.). Stanford: Stanford, CA: CSLI Publications, Advances in Modal Logic.
  0 - Other output
R. Iemhoff () Computability in Europe
R. Iemhoff () Constructivism and intuitionistic logic
R. Iemhoff () Mathematical logic quarterly
R. Iemhoff () Mathematical Logic Quarterly
R. Iemhoff () Mathematical logic quarterly
R. Iemhoff () Proof theory for admissibility
R. Iemhoff () Remarks on Constructive Set Theory
R. Iemhoff () Review of Symbolic Logic
R. Iemhoff () Review of Symbolic Logic
R. Iemhoff () Skolemization in constructive theories
R. Iemhoff () Skolemization in constructive theories
R. Iemhoff () Skolemization in intuitionistic logic
R. Iemhoff () Skolemization in intuitionistic logic
R. Iemhoff () Skolemization in intuitionistic logic
R. Iemhoff () Skolemization, existence and equality
R. Iemhoff () The basic intuitionistic logic of proofs
R. Iemhoff () The existence predicate
R. Iemhoff () The logic of constructive mathematics
R. Iemhoff () The Skolem functions of intuitionistic logic
R. Iemhoff () Topology, Algebra, and Categories in Logics
R. Iemhoff () Unification in Logic
R. Iemhoff () Unification in nonclassical theories
R. Iemhoff () Unification in nonclassical theories
R. Iemhoff () Utrecht Workshop on Proof Theory
R. Iemhoff () Workshop on Admissible Rules and Unification II,
^ top
Gegenereerd op 2017-10-22 15:29:39
Currently dr. Rosalie Iemhoff teaches the following course(s):
Gegenereerd op 2017-10-22 15:29:39
Additional functions and activities
  • Member of the Editorial Board of the Stanford Encyclopedia of Philosophy
  • Editor of the Review of Symbolic Logic
  • Editor of Mathematical Logic Quarterly
Gegenereerd op 2017-10-22 15:29:39
Full name
dr. R. Iemhoff Contact details
Janskerkhof 13

Janskerkhof 13
Room 1.09
3512 BL  UTRECHT
The Netherlands


Phone number (direct) +31 30 253 5575
Gegenereerd op 2017-10-22 15:29:39
Last updated 27.06.2017