Rosalie Iemhoff

Available identifiers

zbMath Open iemhoff.rosalieMaRDI QIDQ234719

List of research outcomes

Publication	Date of Publication	Type
A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalised	2023-09-01	Paper
Universal Proof Theory, TACL 2022 Lecture Notes	2023-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q5884937	2023-03-24	Paper
Logics and Admissible Rules of Constructive Set Theories	2022-12-06	Paper
The G4i analogue of a G3i sequent calculus	2022-11-29	Paper
Proof Theory for Lax Logic	2022-09-19	Paper
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics	2022-08-10	Paper
Uniform Lyndon interpolation for intuitionistic monotone modal logic	2022-08-09	Paper
Uniform Lyndon interpolation for basic non-normal modal logics	2022-06-24	Paper
Logics of intuitionistic Kripke-Platek set theory	2021-09-30	Paper
Sequent calculi for intuitionistic Gödel-Löb logic	2021-09-07	Paper
Proof Theory for Intuitionistic Strong L\"ob Logic	2020-11-20	Paper
The G4i analogue of a G3i calculus	2020-11-20	Paper
Questions and dependency in intuitionistic logic	2020-05-04	Paper
Uniform interpolation and the existence of sequent calculi	2019-10-07	Paper
Reasoning in circles	2019-07-24	Paper
The Skolemization of prenex formulas in intermediate logics	2019-05-02	Paper
Terminating sequent calculi for two intuitionistic modal logics	2019-01-31	Paper
Uniform interpolation and sequent calculi in modal logic	2019-01-24	Paper
Skolemization in intermediate logics with the finite model property	2019-01-08	Paper
Remarks on Simple Proofs	2017-11-22	Paper
Structural completeness in propositional logics of dependence	2016-11-01	Paper
Consequence relations and admissible rules	2016-06-29	Paper
A syntactic approach to unification in transitive reflexive modal logics	2016-05-25	Paper
STABLE CANONICAL RULES	2016-05-09	Paper
On rules	2016-04-13	Paper
Tutorial on Admissible Rules in Gudauri	2015-12-03	Paper
UNIFICATION IN INTERMEDIATE LOGICS	2015-11-09	Paper
On unification and admissible rules in Gabbay-de Jongh logics	2013-12-10	Paper
Eskolemization in Intuitionistic Logic	2011-10-21	Paper
The eskolemization of universal quantifiers	2011-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q3007245	2011-06-21	Paper
Kripke models for subtheories of \textsf{CZF}	2010-03-02	Paper
Proof theory for admissible rules	2009-06-10	Paper
On Skolemization in constructive theories	2009-03-23	Paper
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics	2009-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q3532275	2008-11-03	Paper
On Interpolation in Existence Logics	2008-05-27	Paper
The basic intuitionistic logic of proofs	2007-07-09	Paper
Computer Science Logic	2007-06-21	Paper
The Skolemization of existential quantifiers in intuitionistic logic	2006-09-14	Paper
On the rules of intermediate logics	2006-09-04	Paper
Properties of Intuitionistic Provability and Preservativity Logics	2006-03-30	Paper
Gentzen calculi for the existence predicate	2006-03-17	Paper
A Note on Linear Kripke Models	2005-10-18	Paper
Intermediate logics and Visser's rules	2005-07-06	Paper
Preservativity logic: An analogue of interpretability logic for constructive theories	2003-05-22	Paper
https://portal.mardi4nfdi.de/entity/Q4329242	2002-10-07	Paper
A(nother) characterization of intuitionistic propositional logic	2002-07-14	Paper
On the admissible rules of intuitionistic propositional logic	2002-06-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rosalie Iemhoff