Publicaties
2025
Wetenschappelijke publicaties
2024
Wetenschappelijke publicaties
Bezhanishvili, N., Iemhoff, R., & Yang, F. (Eds.) (2024). Dick de Jongh on Intuitionistic and Provability Logics. (Outstanding Contributions to Logic; Vol. 28). Springer. [DOI]
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. http://10.1007/978-3-031-47921-2_8 [Portal]
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. [DOI] [Portal]
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. [DOI] [Repository]
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. [DOI] [Repository]
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. [DOI] [Repository]
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. [DOI] [Repository]
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. [DOI] [Repository]
2019
Wetenschappelijke publicaties
Iemhoff, R. (2019). Uniform interpolation and the existence of sequent calculi. Annals of Pure and Applied Logic, 170(11), Article 102711. [DOI] [Repository]
Iemhoff, R. (2019). The Skolemization of Prenex Formulas in Intermediate Logics. Indagationes Mathematicae, 30(3), 470-491. [DOI] [Repository]
Iemhoff, R. (2019). Uniform interpolation and sequent calculi in modal logic. Archive for Mathematical Logic, 58(1-2), 155-181. [DOI] [Repository]
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). On the existence of alternative Skolemization methods. IfCoLog Journal of Logics and their Applications, 4(4), 1075-1085. https://www.collegepublications.co.uk/ifcolog/?00013 [Portal]
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. [DOI] [Repository]
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. [DOI] [Repository]
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. [DOI] [Repository]
Iemhoff, R. (2016). Consequence relations and admissible rules. Journal of Philosophical Logic, 45(3), 327-348. [DOI] [Repository]
2015
Wetenschappelijke publicaties
Iemhoff, R., & Roziere, P. (2015). Unification in Intermediate Logics. Journal of Symbolic Logic, 80(3), 713-729. [DOI] [Repository]
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. [DOI] [Repository]
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. [Repository]
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 [Repository]
2007
Wetenschappelijke publicaties
Iemhoff, R., & Artemov, S. (2007). The Basic Intuitionistic Logic of Proofs. Journal of Symbolic Logic, 72(2), 439-451. [Repository]
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. [Repository]
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.