Profiel

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.


Betrokken bij de opleiding(en)
Gegenereerd op 2017-06-26 17:41:11
Alle publicaties
  2016 - Wetenschappelijke publicaties
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 - Overige resultaten
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 - Wetenschappelijke publicaties
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 - Overige resultaten
R. Iemhoff (08-07-2015). Congress of Logic, Methodology and Philosophy of Science 2015.
R. Iemhoff (05-05-2015). Interpolation and Proof Systems. Applications of Logic in Philosophy and the Foundations of Mathematics.
R. Iemhoff (30-01-2015). Interpolation and Proof Systems . Workshop on Admissible Rules and Unification II,.
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 - Wetenschappelijke publicaties
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 - Overige resultaten
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 - Wetenschappelijke publicaties
Iemhoff, R. (2013). A note on consequence. Logic Group preprint series, 314 (16 p.).
  2013 - Overige resultaten
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 - Overige resultaten
R. Iemhoff (13-11-2012). Skolemization and Herbrand's theorem in constructive theories (invited lecture). Kanazawa, Bezoek aan JAIST.
R. Iemhoff (08-11-2012). Substitutions and rules (invited lecture). Kanazawa, Bezoek aan JAIST.
R. Iemhoff (20-08-2012). Substitutions and rules (invited lecture). Roskilde, Denemarken, 8th Scandinavian Logic Symposium.
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 - Overige resultaten
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 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
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 - Overige resultaten
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 - Wetenschappelijke publicaties
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 - Overige resultaten
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 - Wetenschappelijke publicaties
Iemhoff, R. & Artemov, S. (2007). The Basic Intuitionistic Logic of Proofs. Journal of Symbolic Logic, 72 (2), (pp. 439-451) (13 p.).
  2006 - Wetenschappelijke publicaties
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 - Overige resultaten
Iemhoff, R. (23-04-2006). co-coördinator. Goedel Centenary.
  2005 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
Iemhoff, R. (2002). Preservativity Logic. (An analogue of interpretability logic for constructive theories). Mathematical Logic Quarterly, 49, (pp. 1-21) (21 p.).
  2001 - Wetenschappelijke publicaties
Iemhoff, R. (2001). On the admissible rules of intuitionistic propositional logic. Journal of Symbolic Logic, 66, (pp. 281-294) (14 p.).
  2000 - Wetenschappelijke publicaties
Iemhoff, R. (2000). A(nother) characterization of intuitionistic propositional logic. Annals of Pure and Applied Logic, 113, (pp. 161-173) (13 p.).
  1998 - Wetenschappelijke publicaties
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 - Overige resultaten
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. Wroclaw, Poland, Logic in Computer Science.
R. Iemhoff (0). Skolemization in constructive theories. Vienna-Moscow meeting.
R. Iemhoff (0). Skolemization in intuitionistic logic. Seminar of the math dept. of the University of Athens.
R. Iemhoff (0). Skolemization in intuitionistic logic. Amsterdam, Computability in Europe.
R. Iemhoff (0). Skolemization in intuitionistic logic. Oberwolfach Workshop.
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,.
^ naar boven
Gegenereerd op 2017-06-26 17:41:11
Op dit moment verzorgt dr. Rosalie Iemhoff de volgende cursus(sen):
Gegenereerd op 2017-06-26 17:41:11
Nevenfuncties
  • Lid van de Editorial Board van de Stanford Encyclopedia of Philosophy
  • Editor van de Review of Symbolic Logic
  • Editor van Mathematical Logic Quarterly
Gegenereerd op 2017-06-26 17:41:11
Volledige naam
dr. R. Iemhoff Contactgegevens
Janskerkhof 13

Janskerkhof 13
Kamer 1.09
3512 BL  UTRECHT

Telefoonnummer direct 030 253 5575
Gegenereerd op 2017-06-26 17:41:11
Laatst bijgewerkt op 29-03-2017