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.003secs, Finished in 0.004secs