×
Compute Distance To:
Author ID: iemhoff.rosalie Recent zbMATH articles by "Iemhoff, Rosalie"
Published as: Iemhoff, Rosalie

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 272 times in 140 Documents Cited by Year
On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013
Iemhoff, Rosalie
56
2001
Proof theory for admissible rules. Zbl 1174.03024
Iemhoff, Rosalie; Metcalfe, George
28
2009
Intermediate logics and Visser’s rules. Zbl 1102.03032
Iemhoff, Rosalie
27
2005
A(nother) characterization of intuitionistic propositional logic. Zbl 0988.03045
Iemhoff, Rosalie
13
2002
Stable canonical rules. Zbl 1345.03034
Bezhanishvili, Guram; Bezhanishvili, Nick; Iemhoff, Rosalie
12
2016
On the rules of intermediate logics. Zbl 1096.03025
Iemhoff, Rosalie
10
2006
Consequence relations and admissible rules. Zbl 1392.03021
Iemhoff, Rosalie
8
2016
The Skolemization of existential quantifiers in intuitionistic logic. Zbl 1106.03004
Baaz, Matthias; Iemhoff, Rosalie
8
2006
On unification and admissible rules in Gabbay-de Jongh logics. Zbl 1316.03016
Goudsmit, Jeroen P.; Iemhoff, Rosalie
8
2014
Towards a proof system for admissibility. Zbl 1116.03304
Iemhoff, Rosalie
8
2003
Gentzen calculi for the existence predicate. Zbl 1097.03046
Baaz, Matthias; Iemhoff, Rosalie
7
2006
Uniform interpolation and sequent calculi in modal logic. Zbl 07006132
Iemhoff, Rosalie
7
2019
The basic intuitionistic logic of proofs. Zbl 1117.03066
Artemov, Sergei; Iemhoff, Rosalie
7
2007
Hypersequent systems for the admissible rules of modal and intermediate logics. Zbl 1211.03037
Iemhoff, Rosalie; Metcalfe, George
7
2009
On rules. Zbl 1336.03037
Iemhoff, Rosalie
6
2015
Structural completeness in propositional logics of dependence. Zbl 1358.03037
Iemhoff, Rosalie; Yang, Fan
5
2016
A syntactic approach to unification in transitive reflexive modal logics. Zbl 1436.03133
Iemhoff, Rosalie
5
2016
On Skolemization in constructive theories. Zbl 1171.03035
Baaz, Matthias; Iemhoff, Rosalie
5
2008
Questions and dependency in intuitionistic logic. Zbl 1453.03025
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan
5
2020
Uniform interpolation and the existence of sequent calculi. Zbl 1475.03078
Iemhoff, Rosalie
5
2019
Terminating sequent calculi for two intuitionistic modal logics. Zbl 1444.03060
Iemhoff, Rosalie
4
2018
A note on linear Kripke models. Zbl 1082.03026
Iemhoff, Rosalie
4
2005
Preservativity logic: An analogue of interpretability logic for constructive theories. Zbl 1024.03061
Iemhoff, Rosalie
4
2003
On interpolation in existence logics. Zbl 1143.03325
Baaz, Matthias; Iemhoff, Rosalie
4
2005
Reasoning in circles. Zbl 1418.03178
Iemhoff, Rosalie
3
2016
A modal analysis of some principles of the provability logic of Heyting arithmetic. Zbl 0995.03045
Iemhoff, Rosalie
3
2001
Kripke models for subtheories of CZF. Zbl 1184.03058
Iemhoff, Rosalie
2
2010
Properties of intuitionistic provability and preservativity logics. Zbl 1120.03044
Iemhoff, Rosalie; de Jongh, Dick; Zhou, Chunlai
2
2005
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
Sequent calculi for intuitionistic Gödel-Löb logic. Zbl 1490.03013
van der Giessen, Iris; Iemhoff, Rosalie
2
2021
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
1
2016
The Skolemization of prenex formulas in intermediate logics. Zbl 07049868
Iemhoff, Rosalie
1
2019
Sequent calculi for intuitionistic Gödel-Löb logic. Zbl 1490.03013
van der Giessen, Iris; Iemhoff, Rosalie
2
2021
Questions and dependency in intuitionistic logic. Zbl 1453.03025
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan
5
2020
Uniform interpolation and sequent calculi in modal logic. Zbl 07006132
Iemhoff, Rosalie
7
2019
Uniform interpolation and the existence of sequent calculi. Zbl 1475.03078
Iemhoff, Rosalie
5
2019
The Skolemization of prenex formulas in intermediate logics. Zbl 07049868
Iemhoff, Rosalie
1
2019
Terminating sequent calculi for two intuitionistic modal logics. Zbl 1444.03060
Iemhoff, Rosalie
4
2018
Stable canonical rules. Zbl 1345.03034
Bezhanishvili, Guram; Bezhanishvili, Nick; Iemhoff, Rosalie
12
2016
Consequence relations and admissible rules. Zbl 1392.03021
Iemhoff, Rosalie
8
2016
Structural completeness in propositional logics of dependence. Zbl 1358.03037
Iemhoff, Rosalie; Yang, Fan
5
2016
A syntactic approach to unification in transitive reflexive modal logics. Zbl 1436.03133
Iemhoff, Rosalie
5
2016
Reasoning in circles. Zbl 1418.03178
Iemhoff, Rosalie
3
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
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
2
2010
Proof theory for admissible rules. Zbl 1174.03024
Iemhoff, Rosalie; Metcalfe, George
28
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
7
2006
Intermediate logics and Visser’s rules. Zbl 1102.03032
Iemhoff, Rosalie
27
2005
A note on linear Kripke models. Zbl 1082.03026
Iemhoff, Rosalie
4
2005
On interpolation in existence logics. Zbl 1143.03325
Baaz, Matthias; Iemhoff, Rosalie
4
2005
Properties of intuitionistic provability and preservativity logics. Zbl 1120.03044
Iemhoff, Rosalie; de Jongh, Dick; Zhou, Chunlai
2
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
4
2003
A(nother) characterization of intuitionistic propositional logic. Zbl 0988.03045
Iemhoff, Rosalie
13
2002
On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013
Iemhoff, Rosalie
56
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 140 Authors

22 Iemhoff, Rosalie
12 Rybakov, Vladimir Vladimirovich
7 Bezhanishvili, Nick
7 Metcalfe, George
6 Baaz, Matthias
6 Goudsmit, Jeroen P.
5 Citkin, Alex
5 Jeřábek, Emil
4 Bezhanishvili, Guram
4 Visser, Albert
3 Bashmakov, Stepan Igorevich
3 Dzik, Wojciech
3 Indrzejczak, Andrzej
3 Stronkowski, Michał Marek
3 Yang, Fan
2 Akbar Tabatabai, Amirhossein
2 Babenyshev, Sergey
2 Balbiani, Philippe
2 Cabrer, Leonardo Manuel
2 Cintula, Petr
2 Dalmonte, Tiziano
2 Gencer, Çigdem
2 Grellois, Charles
2 Ilin, Julia
2 Jalali, Raheleh
2 Kurokawa, Hidenori
2 Litak, Tadeusz
2 Maffezioli, Paolo
2 Mojtahedi, Mojtaba
2 Moraschini, Tommaso
2 Odintsov, Sergei P.
2 Olivetti, Nicola
2 Orlandelli, Eugenio
2 Piecha, Thomas
2 Punčochář, Vít
2 Rimatskiĭ, Vitaliĭ Valentinovich
2 Shamkanov, Daniyar S.
2 Shkatov, Dmitry
2 Steren, Gabriela
2 van Alten, Clint J.
2 van der Giessen, Iris
2 Wojtylak, Piotr
1 Afshari, Bahareh
1 Aguilera, Juan Pablo
1 Ardeshir, Mohammad
1 Artemov, Sergei
1 Baader, Franz
1 Barbero, Fausto
1 Beckmann, Arnold
1 Beyersdorff, Olaf
1 Bonelli, Eduardo
1 Borgwardt, Stefan
1 Burel, Guillaume
1 Buss, Samuel R.
1 Caicedo, Xavier
1 Celani, Sergio Arturo
1 Chiffi, Daniele
1 Ciabattoni, Agata
1 Citkin, Alexander
1 Condoluci, Andrea
1 Coniglio, Marcelo Esteban
1 de Campos Sanz, Wagner
1 De Groot, Jim
1 de Jongh, Dick H. J.
1 Dean, Walter
1 Diaconescu, Denisa
1 Dyckhoff, Roy
1 Fellin, Giulio
1 Figallo, Martín
1 Franks, Curtis
1 Gabelaia, David
1 Galatos, Nikolaos
1 Galliani, Pietro
1 Gherardi, Guido
1 Ghilardi, Silvio
1 Gispert, Joan
1 Grilletti, Gianluca
1 Groszek, Marcia J.
1 Halbach, Volker
1 Haniková, Zuzana
1 Iwata, Sohei
1 Jansana, Ramon
1 Jibladze, Mamuka A.
1 Kohlenbach, Ulrich Wilhelm
1 Kost, Sławomir
1 Kramer, Simon
1 Kurahashi, Taishi
1 Kutz, Oliver
1 Kuznets, Roman
1 Lauridsen, Frederik Möllerström
1 Leigh, Graham Emil
1 Lin, Zhe
1 Lolic, Anela
1 Lück, Martin
1 Ma, Minghui
1 Manighetti, Matteo
1 Menéndez Turata, Guillermo
1 Mints, Grigoriĭ Efroimovich
1 Morawska, Barbara
1 Negri, Sara
...and 40 more Authors

Citations by Year