Name Card

Full name Familienname, Vorname
IEMHOFF, Rosalie
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-20 of 28 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Iemhoff, Rosalie Skolemization in intermediate logics with the finite model propertyArtikel Article 2016
2Baaz, M. ; Iemhoff, R. Eskolemization in intuitionistic logicArtikel Article2011
3Iemhoff, Rosalie The basic intuitionistic logic of proofsPräsentation Presentation2006
4Iemhoff, Rosalie The Skolem functions of intuitionistic logicPräsentation Presentation2006
5Iemhoff, Rosalie Skolemization, existence and equalityPräsentation Presentation2006
6Baaz, Matthias ; Iemhoff, Rosalie Konstruktivismus und IntuitionismusArtikel Article2006
7Baaz, Matthias ; Iemhoff, Rosalie The Skolemization of existential quantifiers in intuitionistic logicArtikel Article2006
8Baaz, Matthias ; Iemhoff, Rosalie Gentzen calculi for the existence predicateArtikel Article 2006
9Iemhoff, Rosalie Skolemization in intuitionistic logicPräsentation Presentation2005
10Iemhoff, Rosalie Lectures on intuitionistic logicPräsentation Presentation2005
11Iemhoff, Rosalie The existence predicatePräsentation Presentation2005
12Iemhoff, Rosalie Skolemization in intuitionistic logicPräsentation Presentation2005
13Iemhoff, Rosalie The logic of constructive mathematicsPräsentation Presentation2005
14Iemhoff, Rosalie The basic intuitionistic logic of proofsPräsentation Presentation2005
15Iemhoff, Rosalie Skolemization in intuitionistic logicPräsentation Presentation2005
16Iemhoff, Rosalie Skolemization in intuitionistic logicPräsentation Presentation2005
17Iemhoff, Rosalie Constructivism and intuitionistic logicPräsentation Presentation2005
18Iemhoff, Rosalie A note on linear Kripke modelsArtikel Article2005
19de Jongh, Dick ; Iemhoff, Rosalie ; Zhou, C Properties of intuitionistic provability and preservativity logicsArtikel Article2005
20Iemhoff, Rosalie Intermediate logics and Visser's rulesArtikel Article 2005

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Lolic, Anela Note on Globally Sound Analytic Calculi for Quantifier MacrosKonferenzbeitrag Inproceedings2019