| |
| 2008 | ||
|---|---|---|
| 6 | EE | Ernst Zimmermann: Lambek Calculus in Natural Deduction. J. Log. Comput. 18(4): 589-600 (2008) |
| 2007 | ||
| 5 | EE | Ernst Zimmermann: Substructural Logics in Natural Deduction. Logic Journal of the IGPL 15(3): 211-232 (2007) |
| 2003 | ||
| 4 | Ernst Zimmermann: Elementary Definability and Completeness in General and Positive Modal Logic. Journal of Logic, Language and Information 12(1): 99-117 (2003) | |
| 2002 | ||
| 3 | Ernst Zimmermann: A Predicate Logical Extension of a Subintuitionistic Propositional Logic. Studia Logica 72(3): 401-410 (2002) | |
| 2 | EE | Ernst Zimmermann: Peirce's Rule in Natural Deduction. Theor. Comput. Sci. 275(1-2): 561-574 (2002) |
| 2001 | ||
| 1 | EE | Ernst Zimmermann: A Subintuitionistic Logic and Some of Its Methods. RelMiCS 2001: 228-240 |