The following pages link to Rosalie Iemhoff (Q234719):
Displaying 43 items.
- On rules (Q266650) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- The eskolemization of universal quantifiers (Q638487) (← links)
- Gentzen calculi for the existence predicate (Q817698) (← links)
- Proof theory for admissible rules (Q1023055) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- The Skolemization of prenex formulas in intermediate logics (Q1740611) (← links)
- Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← links)
- The G4i analogue of a G3i sequent calculus (Q2106879) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- Kripke models for subtheories of \textsf{CZF} (Q2267746) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- On the admissible rules of intuitionistic propositional logic (Q2732279) (← links)
- STABLE CANONICAL RULES (Q2805038) (← links)
- (Q3007245) (← links)
- Eskolemization in Intuitionistic Logic (Q3094144) (← links)
- Properties of Intuitionistic Provability and Preservativity Logics (Q3378194) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- (Q3532275) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)
- On Skolemization in constructive theories (Q3617374) (← links)
- (Q4329242) (← links)
- Remarks on Simple Proofs (Q4593636) (← links)
- Terminating sequent calculi for two intuitionistic modal logics (Q4612455) (← links)
- Skolemization in intermediate logics with the finite model property (Q4644539) (← links)
- Preservativity logic: An analogue of interpretability logic for constructive theories (Q4808463) (← links)
- Reasoning in circles (Q5224693) (← links)
- Computer Science Logic (Q5292641) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- On Interpolation in Existence Logics (Q5387875) (← links)
- A Note on Linear Kripke Models (Q5696304) (← links)
- (Q5884937) (← links)
- A(nother) characterization of intuitionistic propositional logic (Q5957911) (← links)
- Proof theory for Lax Logic (Q6612814) (← links)
