Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Rosalie
Last name:	Iemhoff
DBLP:	84/86
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 14 of 14  

Select a publication
Show	Title	Venue	Rating	Date
	Rosalie Iemhoff, George Metcalfe. Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics.	Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings 2009	(0)	2009
	Rosalie Iemhoff, George Metcalfe. Proof theory for admissible rules.	Ann. Pure Appl. Logic 2009, Volume 159	(0)	2009
	Rosalie Iemhoff. On the rules of intermediate logics.	Arch. Math. Log. 2006, Volume 45	(0)	2006
	Matthias Baaz, Rosalie Iemhoff. The Skolemization of existential quantifiers in intuitionistic logic.	Ann. Pure Appl. Logic 2006, Volume 142	(0)	2006
	Matthias Baaz, Rosalie Iemhoff. Gentzen Calculi for the Existence Predicate.	Studia Logica 2006, Volume 82	(0)	2006
	Matthias Baaz, Rosalie Iemhoff. On the Proof Theory of the Existence Predicate.	We Will Show Them! Essays in Honour of Dov Gabbay, Volume One 2005	(0)	2005
	Matthias Baaz, Rosalie Iemhoff. On Interpolation in Existence Logics.	Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings 2005	(0)	2005
	Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou. Properties of Intuitionistic Provability and Preservativity Logics.	Logic Journal of the IGPL 2005, Volume 13	(0)	2005
	Rosalie Iemhoff. A Note on Linear Kripke Models.	J. Log. Comput. 2005, Volume 15	(0)	2005
	Rosalie Iemhoff. Towards a Proof System for Admissibility.	Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings 2003	(0)	2003
	Rosalie Iemhoff. Preservativity logic: An analogue of interpretability logic for constructive theories.	Math. Log. Q. 2003, Volume 49	(0)	2003
	Rosalie Iemhoff. A (nother) characterization of intuitionistic propositional logic.	Ann. Pure Appl. Logic 2001, Volume 113	(0)	2001
	Rosalie Iemhoff. On The Admissible Rules of Intuitionistic Propositional Logic.	J. Symb. Log. 2001, Volume 66	(0)	2001
	Rosalie Iemhoff. A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic.	Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 1998 2000	(0)	1998

Your query returned 14 matches in the database.