Publications
2025
Scholarly publications
2024
Scholarly publications
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
Scholarly publications
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
Scholarly publications
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
Scholarly publications
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
Scholarly publications
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
Scholarly publications
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
Scholarly publications
Iemhoff, R. (2018). Terminating Sequent Calculi for Two Intuitionistic Modal Logics. Journal of Logic and Computation, 28(7), 1701-1712.
2017
Scholarly publications
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
Scholarly publications
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
Scholarly publications
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
Scholarly publications
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
Scholarly publications
Iemhoff, R. (2013). Unification in transitive reflexive modal logics. Logic Group preprint series: http://www.phil.uu.nl/preprints/lgps/.
2010
Scholarly publications
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
Scholarly publications
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
Scholarly publications
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
Scholarly publications
Iemhoff, R., & Artemov, S. (2007). The Basic Intuitionistic Logic of Proofs. Journal of Symbolic Logic, 72(2), 439-451. [Repository]
2006
Scholarly publications
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
Scholarly publications
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
Scholarly publications
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
Scholarly publications
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
Scholarly publications
Iemhoff, R. (2002). Preservativity Logic. (An analogue of interpretability logic for constructive theories). Mathematical Logic Quarterly, 49, 1-21.
2001
Scholarly publications
Iemhoff, R. (2001). On the admissible rules of intuitionistic propositional logic. Journal of Symbolic Logic, 66, 281-294.
2000
Scholarly publications
Iemhoff, R. (2000). A(nother) characterization of intuitionistic propositional logic. Annals of Pure and Applied Logic, 113, 161-173.
1998
Scholarly publications
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.