Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Rosalie
Volume
Title
337
Uniform interpolation and the existence of sequent calculi
Iemhoff
|
Rosalie
336
Intuitionistic modal logics and Dyckhoff’s calculus
Iemhoff
|
Rosalie
335
Structural completeness in propositional logics of dependence
Fan
|
Iemhoff
|
Rosalie
|
Yang
334
On the existence of alternative Skolemization methods
Iemhoff
|
Rosalie
328
Remarks on simple proofs
Iemhoff
|
Rosalie
325
Uniform interpolation and sequent calculi in modal logic
Iemhoff
|
Rosalie
323
Skolemization in intermediate logics of finite width
Baaz
|
Iemhoff
|
Matthias
|
Rosalie
Online