The SCEAS System
| |||||||

## Search the dblp DataBase
Rosalie Iemhoff:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Rosalie Iemhoff
**A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic.**[Citation Graph (0, 0)][DBLP] Advances in Modal Logic, 1998, pp:301-336 [Conf] - Matthias Baaz, Rosalie Iemhoff
**On the Proof Theory of the Existence Predicate.**[Citation Graph (0, 0)][DBLP] We Will Show Them! (1), 2005, pp:125-166 [Conf] - Rosalie Iemhoff
**Towards a Proof System for Admissibility.**[Citation Graph (0, 0)][DBLP] CSL, 2003, pp:255-270 [Conf] - Matthias Baaz, Rosalie Iemhoff
**On Interpolation in Existence Logics.**[Citation Graph (0, 0)][DBLP] LPAR, 2005, pp:697-711 [Conf] - Rosalie Iemhoff
**On the rules of intermediate logics.**[Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2006, v:45, n:5, pp:581-599 [Journal] - Rosalie Iemhoff
**A (nother) characterization of intuitionistic propositional logic.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2001, v:113, n:1-3, pp:161-173 [Journal] - Matthias Baaz, Rosalie Iemhoff
**The Skolemization of existential quantifiers in intuitionistic logic.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2006, v:142, n:1-3, pp:269-295 [Journal] - Rosalie Iemhoff, Dick de Jongh, Chunlai Zhou
**Properties of Intuitionistic Provability and Preservativity Logics.**[Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2005, v:13, n:6, pp:615-636 [Journal] - Rosalie Iemhoff
**On The Admissible Rules of Intuitionistic Propositional Logic.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 2001, v:66, n:1, pp:281-294 [Journal] - Rosalie Iemhoff
**A Note on Linear Kripke Models.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2005, v:15, n:4, pp:489-506 [Journal] - Rosalie Iemhoff
**Preservativity logic: An analogue of interpretability logic for constructive theories.**[Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:3, pp:230-249 [Journal] - Matthias Baaz, Rosalie Iemhoff
**Gentzen Calculi for the Existence Predicate.**[Citation Graph (0, 0)][DBLP] Studia Logica, 2006, v:82, n:1, pp:7-23 [Journal] **Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics.**[Citation Graph (, )][DBLP]**Proof theory for admissible rules.**[Citation Graph (, )][DBLP]
Search in 0.018secs, Finished in 0.019secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |