 | 2011 |
|---|
| 21 |       | Rosalie Iemhoff:
Unification in Logic.
WoLLIC 2011: 2 |
| 20 | | Matthias Baaz,
Rosalie Iemhoff:
Eskolemization in Intuitionistic Logic.
J. Log. Comput. 21(4): 625-638 (2011) |
| 2010 |
|---|
| 19 | | Rosalie Iemhoff:
The eskolemization of universal quantifiers.
Ann. Pure Appl. Logic 162(3): 201-212 (2010) |
| 18 | | Rosalie Iemhoff:
Kripke models for subtheories of CZF.
Arch. Math. Log. 49(2): 147-167 (2010) |
| 2009 |
|---|
| 17 | | Rosalie Iemhoff,
George Metcalfe:
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics.
LFCS 2009: 230-245 |
| 16 | | Rosalie Iemhoff,
George Metcalfe:
Proof theory for admissible rules.
Ann. Pure Appl. Logic 159(1-2): 171-186 (2009) |
| 2008 |
|---|
| 15 | | Matthias Baaz,
Rosalie Iemhoff:
On Skolemization in constructive theories.
J. Symb. Log. 73(3): 969-998 (2008) |
| 2007 |
|---|
| 14 | | Sergei N. Artëmov,
Rosalie Iemhoff:
The basic intuitionistic logic of proofs.
J. Symb. Log. 72(2): 439-451 (2007) |
| 2006 |
|---|
| 13 | | Matthias Baaz,
Rosalie Iemhoff:
The Skolemization of existential quantifiers in intuitionistic logic.
Ann. Pure Appl. Logic 142(1-3): 269-295 (2006) |
| 12 | | Rosalie Iemhoff:
On the rules of intermediate logics.
Arch. Math. Log. 45(5): 581-599 (2006) |
| 11 | | Matthias Baaz,
Rosalie Iemhoff:
Gentzen Calculi for the Existence Predicate.
Studia Logica 82(1): 7-23 (2006) |
| 2005 |
|---|
| 10 | | Matthias Baaz,
Rosalie Iemhoff:
On Interpolation in Existence Logics.
LPAR 2005: 697-711 |
| 9 |  | Matthias Baaz,
Rosalie Iemhoff:
On the Proof Theory of the Existence Predicate.
We Will Show Them! (1) 2005: 125-166 |
| 8 | | Rosalie Iemhoff:
A Note on Linear Kripke Models.
J. Log. Comput. 15(4): 489-506 (2005) |
| 7 | | Rosalie Iemhoff,
Dick De Jongh,
Chunlai Zhou:
Properties of Intuitionistic Provability and Preservativity Logics.
Logic Journal of the IGPL 13(6): 615-636 (2005) |
| 6 | | Rosalie Iemhoff:
Intermediate Logics and Visser's Rules.
Notre Dame Journal of Formal Logic 46(1): 65-81 (2005) |
| 2003 |
|---|
| 5 | | Rosalie Iemhoff:
Towards a Proof System for Admissibility.
CSL 2003: 255-270 |
| 4 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page