×

zbMATH — the first resource for mathematics

Iemhoff, Rosalie

Compute Distance To:
Author ID: iemhoff.rosalie Recent zbMATH articles by "Iemhoff, Rosalie"
Published as: Iemhoff, Rosalie
Documents Indexed: 43 Publications since 2001, including 2 Books

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 224 times in 110 Documents Cited by Year
On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013
Iemhoff, Rosalie
49
2001
Proof theory for admissible rules. Zbl 1174.03024
Iemhoff, Rosalie; Metcalfe, George
26
2009
Intermediate logics and Visser’s rules. Zbl 1102.03032
Iemhoff, Rosalie
24
2005
Stable canonical rules. Zbl 1345.03034
Bezhanishvili, Guram; Bezhanishvili, Nick; Iemhoff, Rosalie
11
2016
On the rules of intermediate logics. Zbl 1096.03025
Iemhoff, Rosalie
10
2006
A(nother) characterization of intuitionistic propositional logic. Zbl 0988.03045
Iemhoff, Rosalie
10
2002
On unification and admissible rules in Gabbay-de Jongh logics. Zbl 1316.03016
Goudsmit, Jeroen P.; Iemhoff, Rosalie
8
2014
The Skolemization of existential quantifiers in intuitionistic logic. Zbl 1106.03004
Baaz, Matthias; Iemhoff, Rosalie
8
2006
Towards a proof system for admissibility. Zbl 1116.03304
Iemhoff, Rosalie
8
2003
Consequence relations and admissible rules. Zbl 1392.03021
Iemhoff, Rosalie
7
2016
Hypersequent systems for the admissible rules of modal and intermediate logics. Zbl 1211.03037
Iemhoff, Rosalie; Metcalfe, George
7
2009
The basic intuitionistic logic of proofs. Zbl 1117.03066
Artemov, Sergei; Iemhoff, Rosalie
7
2007
On rules. Zbl 1336.03037
Iemhoff, Rosalie
6
2015
On Skolemization in constructive theories. Zbl 1171.03035
Baaz, Matthias; Iemhoff, Rosalie
5
2008
Structural completeness in propositional logics of dependence. Zbl 1358.03037
Iemhoff, Rosalie; Yang, Fan
4
2016
Gentzen calculi for the existence predicate. Zbl 1097.03046
Baaz, Matthias; Iemhoff, Rosalie
4
2006
On interpolation in existence logics. Zbl 1143.03325
Baaz, Matthias; Iemhoff, Rosalie
4
2005
Uniform interpolation and sequent calculi in modal logic. Zbl 07006132
Iemhoff, Rosalie
3
2019
A note on linear Kripke models. Zbl 1082.03026
Iemhoff, Rosalie
3
2005
Preservativity logic: An analogue of interpretability logic for constructive theories. Zbl 1024.03061
Iemhoff, Rosalie
3
2003
A modal analysis of some principles of the provability logic of Heyting arithmetic. Zbl 0995.03045
Iemhoff, Rosalie
3
2001
A syntactic approach to unification in transitive reflexive modal logics. Zbl 1436.03133
Iemhoff, Rosalie
2
2016
Unification in intermediate logics. Zbl 1357.03059
Iemhoff, Rosalie; Rozière, Paul
2
2015
Eskolemization in intuitionistic logic. Zbl 1241.03067
Baaz, Matthias; Iemhoff, Rosalie
2
2011
Questions and dependency in intuitionistic logic. Zbl 1453.03025
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan
1
2020
Uniform interpolation and the existence of sequent calculi. Zbl 07114344
Iemhoff, Rosalie
1
2019
Terminating sequent calculi for two intuitionistic modal logics. Zbl 1444.03060
Iemhoff, Rosalie
1
2018
Reasoning in circles. Zbl 1418.03178
Iemhoff, Rosalie
1
2016
Skolemization in intermediate logics with the finite model property. Zbl 1405.03068
Baaz, Matthias; Iemhoff, Rosalie
1
2016
Liber amicorum Alberti. A tribute to Albert Visser. Zbl 1367.03011
van Eijck, Jan (ed.); Iemhoff, Rosalie (ed.); Joosten, Joost J. (ed.)
1
2016
Kripke models for subtheories of CZF. Zbl 1184.03058
Iemhoff, Rosalie
1
2010
Properties of intuitionistic provability and preservativity logics. Zbl 1120.03044
Iemhoff, Rosalie; de Jongh, Dick; Zhou, Chunlai
1
2005
Questions and dependency in intuitionistic logic. Zbl 1453.03025
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan
1
2020
Uniform interpolation and sequent calculi in modal logic. Zbl 07006132
Iemhoff, Rosalie
3
2019
Uniform interpolation and the existence of sequent calculi. Zbl 07114344
Iemhoff, Rosalie
1
2019
Terminating sequent calculi for two intuitionistic modal logics. Zbl 1444.03060
Iemhoff, Rosalie
1
2018
Stable canonical rules. Zbl 1345.03034
Bezhanishvili, Guram; Bezhanishvili, Nick; Iemhoff, Rosalie
11
2016
Consequence relations and admissible rules. Zbl 1392.03021
Iemhoff, Rosalie
7
2016
Structural completeness in propositional logics of dependence. Zbl 1358.03037
Iemhoff, Rosalie; Yang, Fan
4
2016
A syntactic approach to unification in transitive reflexive modal logics. Zbl 1436.03133
Iemhoff, Rosalie
2
2016
Reasoning in circles. Zbl 1418.03178
Iemhoff, Rosalie
1
2016
Skolemization in intermediate logics with the finite model property. Zbl 1405.03068
Baaz, Matthias; Iemhoff, Rosalie
1
2016
Liber amicorum Alberti. A tribute to Albert Visser. Zbl 1367.03011
van Eijck, Jan (ed.); Iemhoff, Rosalie (ed.); Joosten, Joost J. (ed.)
1
2016
On rules. Zbl 1336.03037
Iemhoff, Rosalie
6
2015
Unification in intermediate logics. Zbl 1357.03059
Iemhoff, Rosalie; Rozière, Paul
2
2015
On unification and admissible rules in Gabbay-de Jongh logics. Zbl 1316.03016
Goudsmit, Jeroen P.; Iemhoff, Rosalie
8
2014
Eskolemization in intuitionistic logic. Zbl 1241.03067
Baaz, Matthias; Iemhoff, Rosalie
2
2011
Kripke models for subtheories of CZF. Zbl 1184.03058
Iemhoff, Rosalie
1
2010
Proof theory for admissible rules. Zbl 1174.03024
Iemhoff, Rosalie; Metcalfe, George
26
2009
Hypersequent systems for the admissible rules of modal and intermediate logics. Zbl 1211.03037
Iemhoff, Rosalie; Metcalfe, George
7
2009
On Skolemization in constructive theories. Zbl 1171.03035
Baaz, Matthias; Iemhoff, Rosalie
5
2008
The basic intuitionistic logic of proofs. Zbl 1117.03066
Artemov, Sergei; Iemhoff, Rosalie
7
2007
On the rules of intermediate logics. Zbl 1096.03025
Iemhoff, Rosalie
10
2006
The Skolemization of existential quantifiers in intuitionistic logic. Zbl 1106.03004
Baaz, Matthias; Iemhoff, Rosalie
8
2006
Gentzen calculi for the existence predicate. Zbl 1097.03046
Baaz, Matthias; Iemhoff, Rosalie
4
2006
Intermediate logics and Visser’s rules. Zbl 1102.03032
Iemhoff, Rosalie
24
2005
On interpolation in existence logics. Zbl 1143.03325
Baaz, Matthias; Iemhoff, Rosalie
4
2005
A note on linear Kripke models. Zbl 1082.03026
Iemhoff, Rosalie
3
2005
Properties of intuitionistic provability and preservativity logics. Zbl 1120.03044
Iemhoff, Rosalie; de Jongh, Dick; Zhou, Chunlai
1
2005
Towards a proof system for admissibility. Zbl 1116.03304
Iemhoff, Rosalie
8
2003
Preservativity logic: An analogue of interpretability logic for constructive theories. Zbl 1024.03061
Iemhoff, Rosalie
3
2003
A(nother) characterization of intuitionistic propositional logic. Zbl 0988.03045
Iemhoff, Rosalie
10
2002
On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013
Iemhoff, Rosalie
49
2001
A modal analysis of some principles of the provability logic of Heyting arithmetic. Zbl 0995.03045
Iemhoff, Rosalie
3
2001
all top 5

Cited by 103 Authors

18 Iemhoff, Rosalie
11 Rybakov, Vladimir Vladimirovich
7 Bezhanishvili, Nick
6 Metcalfe, George
5 Baaz, Matthias
5 Citkin, Alex
5 Goudsmit, Jeroen P.
5 Jeřábek, Emil
4 Visser, Albert
4 Yang, Fan
3 Bezhanishvili, Guram
2 Ardeshir, Mohammad
2 Babenyshev, Sergey
2 Cabrer, Leonardo Manuel
2 Cintula, Petr
2 Dzik, Wojciech
2 Ghilardi, Silvio
2 Ilin, Julia
2 Kurokawa, Hidenori
2 Litak, Tadeusz
2 Maffezioli, Paolo
2 Mojtahedi, Mojtaba
2 Odintsov, Sergei P.
2 Orlandelli, Eugenio
2 Piecha, Thomas
2 Shkatov, Dmitry
2 Steren, Gabriela
2 Stronkowski, Michał Marek
2 Väänänen, Jouko Antero
2 van Alten, Clint J.
1 Aguilera, Juan Pablo
1 Artemov, Sergei
1 Baader, Franz
1 Balbiani, Philippe
1 Bashmakov, Stepan Igorevich
1 Beckmann, Arnold
1 Beyersdorff, Olaf
1 Bonelli, Eduardo
1 Borgwardt, Stefan
1 Burel, Guillaume
1 Chiffi, Daniele
1 Ciabattoni, Agata
1 Citkin, Alexander
1 Coniglio, Marcelo Esteban
1 Dalmonte, Tiziano
1 de Campos Sanz, Wagner
1 de Jongh, Dick H. J.
1 Dean, Walter
1 Diaconescu, Denisa
1 Dyckhoff, Roy
1 Figallo, Martín
1 Franks, Curtis
1 Gabelaia, David
1 Galatos, Nikolaos
1 Gencer, Çigdem
1 Gherardi, Guido
1 Grellois, Charles
1 Groszek, Marcia J.
1 Halbach, Volker
1 Jibladze, Mamuka A.
1 Kramer, Simon
1 Kurahashi, Taishi
1 Kutz, Oliver
1 Lauridsen, Frederik Möllerström
1 Lolic, Anela
1 Lück, Martin
1 Mints, Grigoriĭ Efroimovich
1 Moraschini, Tommaso
1 Morawska, Barbara
1 Negri, Sara
1 Olivetti, Nicola
1 Payette, Gillman
1 Pietarinen, Ahti-Veikko
1 Połacik, Tomasz
1 Polzer, Miriam
1 Preining, Norbert
1 Priestley, Hilary A.
1 Pudlák, Pavel
1 Punčochář, Vít
1 Rabe, Florian
1 Rabenstein, Ulrich
1 Ramanayake, Revantha
1 Rasga, João
1 Renne, Bryan
1 Rimatskiĭ, Vitaliĭ V.
1 Rimatskij, V. V.
1 Röthlisberger, Christoph
1 Rozière, Paul
1 Schmidt, Renate A.
1 Schroeder-Heister, Peter Joseph
1 Sernadas, Amilcar C.
1 Sernadas, Cristina S.
1 Shamkanov, Daniyar S.
1 Shen, Weina
1 Sourabh, Sumit
1 Spada, Luca
1 Sutcliffe, Geoff
1 Tishkovsky, Dmitry
1 Tiu, Alwen Fernanto
1 Venema, Yde
...and 3 more Authors

Citations by Year