Profile

Rosalie Iemhoff is a logician working in mathematical logic. She is a proof theorist with a particular  interest in constructive theories.

She 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 Review of Symbolic Logic and Mathematical Logic Quarterly, and member of the council of the Association of Symbolic Logic.


Involved in the following study programme(s)
Gegenereerd op 2017-06-25 19:36:27
All publications
  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. (2016). Remarks on simple proofs. In Roman Kossak, Juliette Kennedy & Philip Ording (Eds.), Simplicity. Ideals of Practice in Mathematics & the Arts
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. Utrecht, Filosofisch Café.
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 (30.01.2015). Interpolation and Proof Systems . Workshop on Admissible Rules and Unification II,.
R. Iemhoff (05.05.2015). Interpolation and Proof Systems. Applications of Logic in Philosophy and the Foundations of Mathematics.
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?. Utrecht, Studium Generale UU.
R. Iemhoff (23.07.2015). Topology, Algebra, and Categories in Logic 2015. Topology, Algebra, and Categories in Logic 2015.
  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. Israeli Workshop on Non-Classical Logics and their Applications.
R. Iemhoff (09.07.2014). Structures and Deduction 2014 . Vienna Summer of Logic.
  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). Düsseldorf, ESSLLI 2013.
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 . Evora, Logic Colloquium 2013 (Evora).
R. Iemhoff (31.01.2013). On Rules (invited lecture). Seminar of the Munich Center for Mathematical Philosophy.
R. Iemhoff (01.11.2013). PhDs in Logic VI (Utrecht). Utrecht, PhDs in Logic VI.
R. Iemhoff (24.09.2013). Rules of Inference (tutorial). Gudauri, TbiLLC 2013.
R. Iemhoff (04.04.2013). Simple Proofs (invited lecture). New York, Simplicity - Ideals of Practice in Mathematics & the Arts.
  2012 - Other output
R. Iemhoff (13.11.2012). Skolemization and Herbrand's theorem in constructive theories (invited lecture). Kanazawa, Bezoek aan JAIST.
R. Iemhoff (20.08.2012). Substitutions and rules (invited lecture). Roskilde, Denemarken, 8th Scandinavian Logic Symposium.
R. Iemhoff (08.11.2012). Substitutions and rules (invited lecture). Kanazawa, Bezoek aan JAIST.
R. Iemhoff (07.09.2012). The structure of constructive proofs (invited lecture). Amsterdam, Intuitionism in 2012, Heyting Stichting.
R. Iemhoff (13.06.2012). Unification in modal and intermediate logics (lecture). Pisa Summer Workshop on Proof Theory.
  2011 - Other output
R. Iemhoff (01.01.2011). Review of Symbolic Logic.
R. Iemhoff (26.05.2011). Workshop on Admissible Rules and Unification. 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. Logical Foundations of Computer Science.
R. Iemhoff (14.07.2009). Constructivism and Proof Theory. Leeds, UK, Leeds Symposium on Proof Theory and Constructivism.
R. Iemhoff (05.01.2009). Hypersequent calculi for admissibility. Deerfield Beach, Florida, USA, Symposium on Logical Foundations of Computer Science.
R. Iemhoff (07.11.2009). Member Program Committee of Topology, Algebra, and Categories in Logics. Topology, Algebra, and Categories in Logics.
R. Iemhoff (07.12.2009). Skolemization in constructive theories. Bern - Zwitserland, Bern Colloquium.
  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. Moscow, Logic Models of Reasoning and Computation.
R. Iemhoff (06.03.2008). Translations in Constructive Set Theory. Shanks workshop on Proof Theory and Algebra.
  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 (0). Computability in Europe.
R. Iemhoff (0). Constructivism and intuitionistic logic. Seminar of the Dept. of Philosophy of Stanford University.
R. Iemhoff (0). Mathematical logic quarterly.
R. Iemhoff (0). Mathematical Logic Quarterly.
R. Iemhoff (0). Mathematical logic quarterly.
R. Iemhoff (0). Proof theory for admissibility. Athens, Conferentie Computability in Europe.
R. Iemhoff (0). Remarks on Constructive Set Theory. Oberwolfach, Mathematical Logic: Proof Theory, Constructive Mathematics.
R. Iemhoff (0). Review of Symbolic Logic.
R. Iemhoff (0). Review of Symbolic Logic.
R. Iemhoff (0). Skolemization in constructive theories. Vienna-Moscow meeting.
R. Iemhoff (0). Skolemization in constructive theories. Wroclaw, Poland, Logic in Computer Science.
R. Iemhoff (0). Skolemization in intuitionistic logic. Amsterdam, Computability in Europe.
R. Iemhoff (0). Skolemization in intuitionistic logic. Oberwolfach Workshop.
R. Iemhoff (0). Skolemization in intuitionistic logic. Seminar of the math dept. of the University of Athens.
R. Iemhoff (0). Skolemization, existence and equality. Prague-Vienna meeting.
R. Iemhoff (0). The basic intuitionistic logic of proofs. International workshop on modal logic.
R. Iemhoff (0). The existence predicate. Vienna, Collegium Logicum 2005.
R. Iemhoff (0). The logic of constructive mathematics. Seminar of the math dept. at the University of Cape Town.
R. Iemhoff (0). The Skolem functions of intuitionistic logic. Paris-Vienna meeting.
R. Iemhoff (0). Topology, Algebra, and Categories in Logics.
R. Iemhoff (0). Unification in Logic. Fraueninsel, Chiemsee, Germany, Conferentie Constructive Mathematics: Proofs and Computation.
R. Iemhoff (0). Unification in nonclassical theories. University Bern, Conferentie PCC '10 - Proof, Computation, Complexity 2010.
R. Iemhoff (0). Unification in nonclassical theories. Paris, Conferentie Collegium Logicum: proofs and structures.
R. Iemhoff (0). Utrecht Workshop on Proof Theory.
R. Iemhoff (0). Workshop on Admissible Rules and Unification II,.
^ top
Gegenereerd op 2017-06-25 19:36:27
Currently dr. Rosalie Iemhoff teaches the following course(s):
Gegenereerd op 2017-06-25 19:36:27
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-06-25 19:36:27
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-06-25 19:36:27
Last updated 29.03.2017