Concepedia

Rosalie Iemhoff

RI

20

Publications

608

Citations

15

H-Index

1999

Active since

Affiliations

Utrecht University(Current)

University of Amsterdam

Rosalie Iemhoff is an author at Utrecht University specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsFormal VerificationComputer ScienceEpistemologyVerificationLawLanguage

Publications per year

1999–2019

20

Publications

20

On the admissible rules of intuitionistic propositional logic

Rosalie Iemhoff · Journal of Symbolic Logic · 2001 · 150 citations · Full text

Intuitionistic Logic, Non-classical Logic, Engineering +9

Proof theory for admissible rules

Rosalie Iemhoff, George Metcalfe · Annals of Pure and Applied Logic · 2009 · 64 citations

Engineering, Automated Reasoning, Proof Complexity +4

Intermediate Logics and Visser's Rules

Rosalie Iemhoff · Notre Dame Journal of Formal Logic · 2005 · 62 citations · Full text

Non-classical Logic, \Sf Ipc, Engineering +10

STABLE CANONICAL RULES

Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff · Journal of Symbolic Logic · 2016 · 32 citations · Full text

Engineering, Stable Logics, Substructural Logic +15

Consequence Relations and Admissible Rules

Rosalie Iemhoff · Journal of Philosophical Logic · 2015 · 30 citations · Full text

Consequence Relations, Formal Logic, Rule Scheme +9

Rows per page

1–5 of 20