Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Home
Index
Authors
Iemhoff, Rosalie
Volume
Title
338
Questions and dependency in intuitionistic logic
Ciardelli, Ivano
|
Iemhoff, Rosalie
|
Yang, Fan
314
A note on consequence
Iemhoff, Rosalie
304
On Rules
Iemhoff, Rosalie
297
On unification and admissible rules in Gabbay-de Jongh logics
Goudsmit, Jeroen P.
|
Iemhoff, Rosalie
296
Unification in intermediate logics
Iemhoff, Rosalie
|
Rozière, P.
295
Unification in transitive reflexive modal logics
Iemhoff, Rosalie
291
Krachtige bewijzen
Iemhoff, Rosalie
277
The eskolemization of universal quantifiers
Iemhoff, Rosalie
276
Kripke models for subtheories of CZF
Iemhoff, Rosalie
274
Proof theory for admissible rules
Iemhoff, Rosalie
|
Metcalfe, George
273
Eskolemization in intuitionistic logic
Baaz, Matthias
|
Iemhoff, Rosalie
270
Hypersequent systems for the admissible rules of modal and intermediate logics
Iemhoff, Rosalie
|
Metcalfe, George
263
On Skolemization in constructive theories
Baaz, Matthias
|
Iemhoff, Rosalie
256
On Skolemization in constructive theories
Baaz, Matthias
|
Iemhoff, Rosalie
250
Proof theory for admissible rules
Iemhoff, Rosalie
|
Metcalfe, George
201
On the admissible rules of intuitionistic propositional logic
Iemhoff, Rosalie
193
A modal analysis of some principles of the provability logic of Heyting Arithmetic
Iemhoff, Rosalie
