| |
| 2009 | ||
|---|---|---|
| 13 | EE | Rosalie Iemhoff, George Metcalfe: Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. LFCS 2009: 230-245 |
| 2006 | ||
| 12 | EE | Matthias Baaz, Rosalie Iemhoff: The Skolemization of existential quantifiers in intuitionistic logic. Ann. Pure Appl. Logic 142(1-3): 269-295 (2006) |
| 11 | EE | Rosalie Iemhoff: On the rules of intermediate logics. Arch. Math. Log. 45(5): 581-599 (2006) |
| 10 | EE | Matthias Baaz, Rosalie Iemhoff: Gentzen Calculi for the Existence Predicate. Studia Logica 82(1): 7-23 (2006) |
| 2005 | ||
| 9 | EE | Matthias Baaz, Rosalie Iemhoff: On Interpolation in Existence Logics. LPAR 2005: 697-711 |
| 8 | Matthias Baaz, Rosalie Iemhoff: On the Proof Theory of the Existence Predicate. We Will Show Them! (1) 2005: 125-166 | |
| 7 | EE | Rosalie Iemhoff: A Note on Linear Kripke Models. J. Log. Comput. 15(4): 489-506 (2005) |
| 6 | EE | Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou: Properties of Intuitionistic Provability and Preservativity Logics. Logic Journal of the IGPL 13(6): 615-636 (2005) |
| 2003 | ||
| 5 | EE | Rosalie Iemhoff: Towards a Proof System for Admissibility. CSL 2003: 255-270 |
| 4 | EE | Rosalie Iemhoff: Preservativity logic: An analogue of interpretability logic for constructive theories. Math. Log. Q. 49(3): 230-249 (2003) |
| 2001 | ||
| 3 | Rosalie Iemhoff: A (nother) characterization of intuitionistic propositional logic. Ann. Pure Appl. Logic 113(1-3): 161-173 (2001) | |
| 2 | Rosalie Iemhoff: On The Admissible Rules of Intuitionistic Propositional Logic. J. Symb. Log. 66(1): 281-294 (2001) | |
| 1998 | ||
| 1 | Rosalie Iemhoff: A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic. Advances in Modal Logic 1998: 301-336 | |
| 1 | Matthias Baaz | [8] [9] [10] [12] |
| 2 | Dick De Jongh | [6] |
| 3 | George Metcalfe | [13] |
| 4 | Chunlai Zhou | [6] |