The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rosalie Iemhoff: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Rosalie Iemhoff
    Towards a Proof System for Admissibility. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:255-270 [Conf]
  4. Matthias Baaz, Rosalie Iemhoff
    On Interpolation in Existence Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:697-711 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]

  13. Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. [Citation Graph (, )][DBLP]


  14. Proof theory for admissible rules. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002