Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Iemhoff, Rosalie - Department of Philosophy, Universiteit Utrecht
The Basic Intuitionistic Logic of Proofs Sergei Artemov Rosalie Iemho# #
A(nother) characterization of Intuitionistic Propositional Logic
Konstruktivismus und Intuitionismus Matthias Baaz and Rosalie Iemho# #
The depth of intuitionistic cut free proofs Samuel R. Buss #
A(nother) characterization of Intuitionistic Propositional Logic
On the Admissible Rules of Intuitionistic Propositional Logic
On Skolemization in constructive theories Matthias Baaz
Proof Theory for Admissible Rules Rosalie Iemhoff 1
On interpolation in existence logics Matthias Baaz and Rosalie Iemho# ##
Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemho# #
A Modal Analysis of some Principles of the Provability Logic of Heyting Arithmetic
The depth of intuitionistic cut free proofs Samuel R. Buss
From de Jongh's theorem to intuitionistic logic of proofs
The Skolemization of existential quantifiers in intuitionistic logic
Intermediate logics and Visser's rules Rosalie Iemho# #
Konstruktivismus und Intuitionismus Matthias Baaz and Rosalie Iemhoff
Towards a proof system for admissibility Rosalie Iemho ??
On the proof theory of the existence Matthias Baaz and Rosalie Iemhoff
Properties of Intuitionistic Provability Logics. . . 1 Rosalie Iemhoff
Eskolemization in intuitionistic logic Matthias Baaz
The Basic Intuitionistic Logic of Proofs Sergei Artemov Rosalie Iemhoff
Kripke models for subtheories of CZF Rosalie Iemhoff
The Skolemization of existential quantifiers in intuitionistic logic
Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff
On the proof theory of the existence Matthias Baaz and Rosalie Iemhoff
Properties of Intuitionistic Provability Logics.. . 1 Rosalie Iemhoff
On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff
On the rules of intermediate logics Rosalie Iemhoff
A note on linear Kripke models Rosalie Iemhoff
Intermediate logics and Visser's rules Rosalie Iemhoff
Preservativity logic An analogue of interpretability logic for constructive
A note on linear Kripke models Rosalie Iemho# #
The eskolemization of universal quantifiers Rosalie Iemhoff
On the rules of intermediate logics Rosalie Iemho# #
Krachtige bewijzen Rosalie Iemhoff
