Publicaties
2024
Wetenschappelijke publicaties
Iemhoff, R. (2024). Proof Theory for Lax Logic. In N. Bezhanishvili, R. Iemhoff, & F. Yang (Eds.), Dick de Jongh on Intuitionistic and Provability Logics (pp. 203–229). (Outstanding Contributions to Logic; Vol. 28). Springer. https://doi.org/10.48550/arXiv.2209.08976
2023
Wetenschappelijke publicaties
Shilito, I., van der Giessen, I., Gore, R., & Iemhoff, R. (2023). A new calculus for intuitionistic Strong Loeb logic: strong termination and cut-elimination, formalised. In Automated Reasoning with Analytic Tableaux and Related Methods (pp. 73-93). (Lecture Notes in Computer Science; Vol. 14278). Springer. https://doi.org/10.1007/978-3-031-43513-3_5
Iemhoff, R., & Jalali Keshavarz, R. (2023). Universal Proof Theory: TACL 2022 Lecture Notes. arXiv.
Iemhoff, R., & Passmann, R. (2023). Logics and Admissible Rules of Constructive Set Theories. Philosophical Transactions of the Royal Society A, 381(2248), 1-17. https://doi.org/10.1098/rsta.2022.0018
https://dspace.library.uu.nl/bitstream/handle/1874/434033/iemhoff-passmann-2023-logics-and-admissible-rules-of-constructive-set-theories.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/434033/iemhoff-passmann-2023-logics-and-admissible-rules-of-constructive-set-theories.pdf?sequence=1
2022
Wetenschappelijke publicaties
Akbar Tabatabai, A., Iemhoff, R., & Jalali Keshavarz, R. (2022). Uniform Lyndon interpolation for intuitionistic monotone modal logic. In Advances in Modal Logic (Vol. 14, pp. 77-96). College Publications. http://www.aiml.net/volumes/volume14/
Iemhoff, R. (2022). The G4i analogue of a G3i calculus. Studia Logica, 110, 1493 - 1506. https://doi.org/10.1007/s11225-022-10008-3
2021
Wetenschappelijke publicaties
Iemhoff, R., Akbartabatabai, S., & Jalali Keshavarz, R. (2021). Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. In A. Silva, R. Wassermann, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings (1 ed., pp. 287-301). (Lecture Notes in Computer Science; Vol. 13038). Springer. https://doi.org/10.1007/978-3-030-88853-4_18
https://dspace.library.uu.nl/bitstream/handle/1874/415757/AkbarTabatabai2021_Chapter_UniformLyndonInterpolationForB.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/415757/AkbarTabatabai2021_Chapter_UniformLyndonInterpolationForB.pdf?sequence=1
Iemhoff, R., & Passmann, R. (2021). Logics of Intuitionistic Kripke-Platek Set Theory. Annals of Pure and Applied Logic, 172(10), Article 103014. https://doi.org/10.1016/j.apal.2021.103014
van der Giessen, I., & Iemhoff, R. (2021). Sequent Calculi for Intuitionistic Gödel-Löb Logic. Notre Dame Journal of Formal Logic, 62(2), 221-246. https://doi.org/10.1215/00294527-2021-0011
https://dspace.library.uu.nl/bitstream/handle/1874/425168/00294527_2021_0011.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/425168/00294527_2021_0011.pdf?sequence=1
2020
Wetenschappelijke publicaties
Iemhoff, R., Yang, F., & Ciardelli, I. (2020). Questions and dependency in intuitionistic logic. The Notre Dame Journal of Formal Logic, 61(1), 75-115. https://doi.org/10.1215/00294527-2019-0033
2019
Wetenschappelijke publicaties
Iemhoff, R. (2019). Uniform interpolation and the existence of sequent calculi. Annals of Pure and Applied Logic, 170(11), Article 102711. https://doi.org/10.1016/j.apal.2019.05.008
Iemhoff, R. (2019). The Skolemization of Prenex Formulas in Intermediate Logics. Indagationes Mathematicae, 30(3), 470-491. https://doi.org/10.1016/j.indag.2019.01.002
Iemhoff, R. (2019). Uniform interpolation and sequent calculi in modal logic. Archive for Mathematical Logic, 58(1-2), 155-181. https://doi.org/10.1007/s00153-018-0629-0
2018
Wetenschappelijke publicaties
Iemhoff, R. (2018). Terminating Sequent Calculi for Two Intuitionistic Modal Logics. Journal of Logic and Computation, 28(7), 1701-1712.
2017
Wetenschappelijke publicaties
Iemhoff, R. (2017). Remarks on simple proofs. In R. Kossak, & P. Ording (Eds.), Simplicity: Ideals of Practice in Mathematics and the Arts (pp. 143-151). (Mathematics, Culture, and the Arts). Springer. https://doi.org/10.1007/978-3-319-53385-8_12
https://dspace.library.uu.nl/bitstream/handle/1874/351365/Remarks.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/351365/Remarks.pdf?sequence=1
2016
Wetenschappelijke publicaties
Iemhoff, R. (2016). Reasoning in circles. In J. van Eijck, J. Joosten, & R. Iemhoff (Eds.), Liber Amicorum Alberti. A Tribute to Albert Visser. (pp. 165-178). College Publications.
Iemhoff, R., & Yang, F. (2016). Structural completeness in propositional logics of dependence. Archive for Mathematical Logic, 55(7), 955-975. https://doi.org/10.1007/s00153-016-0505-8
https://dspace.library.uu.nl/bitstream/handle/1874/345037/Structural.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/345037/Structural.pdf?sequence=1
Iemhoff, R. (2016). A syntactic approach to unification in transitive reflexive modal logics. Notre Dame Journal of Formal Logic, 57 (2), 233-247.
Iemhoff, R., Bezhanishvili, N., & Bezhanishvili, G. (2016). Stable canonical rules. Journal of Symbolic Logic, 81(01), 284 - 315. https://doi.org/10.1017/jsl.2015.54
Iemhoff, R., & Baaz, M. (2016). Skolemization in intermediate logics with the finite model property. Logic Journal of the IGPL, 24 (3), 224-237. https://doi.org/10.1093/jigpal/jzw010
Iemhoff, R. (2016). Consequence relations and admissible rules. Journal of Philosophical Logic, 45(3), 327-348. https://doi.org/10.1007/s10992-015-9380-8
2015
Wetenschappelijke publicaties
Iemhoff, R., & Roziere, P. (2015). Unification in Intermediate Logics. Journal of Symbolic Logic, 80(3), 713-729. https://doi.org/10.1017/jsl.2015.5
Iemhoff, R. (2015). On Rules. Journal of Philosophical Logic, 44(6), 697-711.
2014
Wetenschappelijke publicaties
Goudsmit, J. P., & Iemhoff, R. (2014). On unification and admissible rules in Gabbay-de Jongh logics. Annals of Pure and Applied Logic, 165(2), 652-672. https://doi.org/10.1016/j.apal.2013.09.003
https://dspace.library.uu.nl/bitstream/handle/1874/427223/preprint297.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/427223/preprint297.pdf?sequence=1
2013
Wetenschappelijke publicaties
Iemhoff, R. (2013). Unification in transitive reflexive modal logics. Logic Group preprint series: http://www.phil.uu.nl/preprints/lgps/.
2010
Wetenschappelijke publicaties
Iemhoff, R. (2010). The eskolemization of universal quantfiers. Annals of Pure and Applied Logic, 162, 201-212.
Iemhoff, R. (2010). Krachtige bewijzen. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 102, 254-260.
2009
Wetenschappelijke publicaties
Iemhoff, R., & Metcalfe, G. (2009). Proof theory for admissible rules. Annals of Pure and Applied Logic, (159 (1-2)), 171-186.
https://dspace.library.uu.nl/bitstream/handle/1874/353964/5._Proof_theory_for_admissibile_rules.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/353964/5._Proof_theory_for_admissibile_rules.pdf?sequence=1
Iemhoff, R., & Baaz, M. (2009). Eskolemization in intuitionistic logic. Journal of Logic and Computation, doi:10.109.
Iemhoff, R. (2009). Kripke models for subtheories of CZF. Archive for Mathematical Logic, doi: 10.10.
Iemhoff, R. (2009). Hypersequent systems for the admissible rules of modal and intermediate logics. In Lecture Notes in Computer Science 5407, Proceedings of LFCS '09 (pp. 230-245). Springer.
2008
Wetenschappelijke publicaties
Iemhoff, R. (2008). Intuitionism in the Philosophy of Mathematics. In online Stanford Encyclopedia of Philosophy
Iemhoff, R., & Baaz, M. (2008). On Skolemization in constructive theories. Journal of Symbolic Logic, 73(3), 969-998. http://www.aslonline.org/journals-journal.html
2007
Wetenschappelijke publicaties
Iemhoff, R., & Artemov, S. (2007). The Basic Intuitionistic Logic of Proofs. Journal of Symbolic Logic, 72(2), 439-451.
https://dspace.library.uu.nl/bitstream/handle/1874/348392/7._The_Basic_Intuitionistic_Logic_of_Proofs.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/348392/7._The_Basic_Intuitionistic_Logic_of_Proofs.pdf?sequence=1
2006
Wetenschappelijke publicaties
Iemhoff, R. (2006). On the rules of intermediate logics. Archive for Mathematical Logic, 45(5), 581-599.
Iemhoff, R., & Baaz, M. (2006). Gentzen calculi for the existence predicate. Studia Logica, 82(1).
Iemhoff, R., & Baaz, M. (2006). On the Skolemization of existential quantifiers in intuitionistic logic. Annals of Pure and Applied Logic, 142((1-3)), 269-295.
https://dspace.library.uu.nl/bitstream/handle/1874/353953/8._On_the_Skolemization_of_existential_quantifiers_in_intuitionistic_logic.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/353953/8._On_the_Skolemization_of_existential_quantifiers_in_intuitionistic_logic.pdf?sequence=1
Iemhoff, R., & Baaz, M. (2006). Konstruktivismus und Intuitionismus. Internationale Mathematische Nachrichte, Oesterreich, 150.
2005
Wetenschappelijke publicaties
Iemhoff, R., & Baaz, M. (2005). On the proof theory of the existence predicate. In S. Artemov, H. Barringer, A. Garcez, L. Lamb, & J. Woods (Eds.), We will show them! Essays in honour of Dov Gabbay King's College Publications.
Iemhoff, R., & Baaz, M. (2005). On interpolation in existence logics. In Proceedings LPAR 2005 (pp. 697-711)
2004
Wetenschappelijke publicaties
Iemhoff, R. (2004). Intermediate logics and Visser's rules. Notre Dame Journal of Formal Logic, 46, 65-81.
Iemhoff, R., de Jongh, D. H. J., & Zhou, C. (2004). Properties of Intuitionistic Provability and Preservativity Logics. In COMBLOG '04
2003
Wetenschappelijke publicaties
Iemhoff, R. (2003). Towards a proof system for admissibility. In M. Baaz, & A. Makowsky (Eds.), Computer Science Logic '03 (pp. 225-270). Springer.
Iemhoff, R., & Artemov, S. (2003). From de Jongh's theorem to intuitionistic logic of proofs. In Dick de Jongh's Festschrift University of Amsterdam.
2002
Wetenschappelijke publicaties
Iemhoff, R. (2002). Preservativity Logic. (An analogue of interpretability logic for constructive theories). Mathematical Logic Quarterly, 49, 1-21.
2001
Wetenschappelijke publicaties
Iemhoff, R. (2001). On the admissible rules of intuitionistic propositional logic. Journal of Symbolic Logic, 66, 281-294.
2000
Wetenschappelijke publicaties
Iemhoff, R. (2000). A(nother) characterization of intuitionistic propositional logic. Annals of Pure and Applied Logic, 113, 161-173.
1998
Wetenschappelijke publicaties
Iemhoff, R. (1998). A modal analysis of some principles of the provability logic of Heyting arithmetic. In M. de Rijke, K. Segerberg, H. Wansing, & M. Zakharyaschev (Eds.), Advances in Modal Logic ('98) (pp. 319-354). Stanford, CA: CSLI Publications.