Rosalie Iemhoff

发表

On unification and admissible rules in Gabbay-de Jongh logics

Jeroen P. Goudsmit, Rosalie Iemhoff, J. Goudsmit, 2014, Ann. Pure Appl. Log..

Intermediate Logics and Visser's Rules

Rosalie Iemhoff, Rosalie Iemhoff, 2005, Notre Dame J. Formal Log..

Questions and dependency in intuitionistic logic

Fan Yang, Rosalie Iemhoff, Ivano Ciardelli, 2017, Notre Dame J. Formal Log..

On the Proof Theory of the Existence Predicate

Matthias Baaz, Rosalie Iemhoff, 2005, We Will Show Them!.

Uniform interpolation and the existence of sequent calculi

Rosalie Iemhoff, 2019, Ann. Pure Appl. Log..

Tutorial on Admissible Rules in Gudauri

Rosalie Iemhoff, Rosalie Iemhoff, 2013, TbiLLC.

A (nother) characterization of intuitionistic propositional logic

Rosalie Iemhoff, 2001, Ann. Pure Appl. Log..

On Rules

Rosalie Iemhoff, 2015, J. Philos. Log..

A Note on Linear Kripke Models

Rosalie Iemhoff, 2005, J. Log. Comput..

On the rules of intermediate logics

Rosalie Iemhoff, Rosalie Iemhoff, 2006, Arch. Math. Log..

Terminating sequent calculi for two intuitionistic modal logics

Rosalie Iemhoff, 2018, J. Log. Comput..

Eskolemization in Intuitionistic Logic

Matthias Baaz, Rosalie Iemhoff, 2011, J. Log. Comput..

Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz, 2019, Lecture Notes in Computer Science.

Preservativity logic: An analogue of interpretability logic for constructive theories

Rosalie Iemhoff, 2003, Math. Log. Q..

Logic, Language, Information, and Computation. WoLLIC 2019. Lecture Notes in Computer Science, Vol. 11541

Michael Moortgat, Rosalie Iemhoff, Ruy de Queiroz, 2019 .

Gentzen Calculi for the Existence Predicate

Matthias Baaz, Rosalie Iemhoff, 2006, Stud Logica.

Properties of Intuitionistic Provability and Preservativity Logics

Rosalie Iemhoff, Dick de Jongh, Chunlai Zhou, 2005, Log. J. IGPL.

STABLE CANONICAL RULES

Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff, 2016, The Journal of Symbolic Logic.

The eskolemization of universal quantifiers

Rosalie Iemhoff, 2010, Ann. Pure Appl. Log..

The Skolemization of existential quantifiers in intuitionistic logic

Matthias Baaz, Rosalie Iemhoff, 2006, Ann. Pure Appl. Log..

On Interpolation in Existence Logics

Matthias Baaz, Rosalie Iemhoff, 2005, LPAR.

A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic

Rosalie Iemhoff, Rosalie Iemhoff, 1998, Advances in Modal Logic.

On Skolemization in constructive theories

Matthias Baaz, Rosalie Iemhoff, 2008, J. Symb. Log..

Uniform interpolation and sequent calculi in modal logic

Rosalie Iemhoff, 2019, Arch. Math. Log..

Towards a Proof System for Admissibility

Rosalie Iemhoff, 2003, CSL.

Unification in Logic

Rosalie Iemhoff, 2011, WoLLIC.

Kripke models for subtheories of CZF

Rosalie Iemhoff, Rosalie Iemhoff, 2009, Arch. Math. Log..

Skolemization in intermediate logics with the finite model property

Matthias Baaz, Rosalie Iemhoff, M. Baaz, 2016, Log. J. IGPL.

Structural completeness in propositional logics of dependence

Fan Yang, Rosalie Iemhoff, Rosalie Iemhoff, 2015, Arch. Math. Log..

UNIFICATION IN INTERMEDIATE LOGICS

Paul Rozière, Rosalie Iemhoff, Rosalie Iemhoff, 2012, The Journal of Symbolic Logic.

The Existence of Proof Systems

Rosalie Iemhoff, 2018, Advances in Modal Logic.

Special Issue on Admissible Rules and Unification

Rosalie Iemhoff, George Metcalfe, 2016, Notre Dame J. Formal Log..

A Syntactic Approach to Unification in Transitive Reflexive Modal Logics

Rosalie Iemhoff, Rosalie Iemhoff, 2016, Notre Dame J. Formal Log..

Consequence Relations and Admissible Rules

Rosalie Iemhoff, 2016, J. Philos. Log..

The basic intuitionistic logic of proofs

Sergei N. Artëmov, Rosalie Iemhoff, 2007, J. Symb. Log..

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics

Rosalie Iemhoff, George Metcalfe, G. Metcalfe, 2008, LFCS.

On the admissible rules of intuitionistic propositional logic

Rosalie Iemhoff, Rosalie Iemhoff, 2001, Journal of Symbolic Logic.

Proof theory for admissible rules

Rosalie Iemhoff, George Metcalfe, G. Metcalfe, 2009, Ann. Pure Appl. Log..

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics

Rosalie Iemhoff, Amirhossein Akbar Tabatabai, Raheleh Jalali, 2021, WoLLIC.

Reasoning in circles

Rosalie Iemhoff, 2021 .

Logics of intuitionistic Kripke-Platek set theory

Rosalie Iemhoff, Robert Passmann, Rosalie Iemhoff, 2020, Ann. Pure Appl. Log..

Provability logic and admissible rules

Rosalie Iemhoff, Rosalie Iemhoff, 2001 .

Submodels of Kripke Models

Albert Visser, Rosalie Iemhoff, 2002 .

A note on consequence

Rosalie Iemhoff, Rosalie Iemhoff, 2013 .