Rosalie Iemhoff (iemhoff)

My contributions to Philosophie.ch

Bibliography

van Eijck, Jan, Iemhoff, Rosalie and Joosten, Joost J., eds. 2016. Liber Amicorum Alberti. A Tribute to Albert Visser. Tributes n. 30. London: King’s College Publications.
Iemhoff, Rosalie. 2000. “A Modal Analysis of Some Principles of the Provability Logic of Heyting Arithmetic.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 319–354. Stanford, California: CSLI Publications.
Iemhoff, Rosalie. 2001. “On the Admissible Rules of Intuitionistic Propositional Logic.” The Journal of Symbolic Logic 66(1): 281–294.
Iemhoff, Rosalie. 2002. “Review of Visser (2001).” The Bulletin of Symbolic Logic 8(3): 440–441.
Iemhoff, Rosalie. 2008. “Intuitionism in the Philosophy of Mathematics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2008/entries/intuitionism/.
Iemhoff, Rosalie. 2013. “Intuitionism in the Philosophy of Mathematics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2013/entries/intuitionism/.
Iemhoff, Rosalie. 2015. “On Rules.” The Journal of Philosophical Logic 44(6): 697–711.
Iemhoff, Rosalie. 2016. “Consequence Relations and Admissible Rules.” The Journal of Philosophical Logic 45(3): 327–348.
Iemhoff, Rosalie. 2019. “Intuitionism in the Philosophy of Mathematics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2019/entries/intuitionism/.

Further References

Visser, Albert. 2001. “Submodels of Kripke Models.” Archive for Mathematical Logic 40: 277–295.