dblp.uni-trier.dewww.uni-trier.de

Ernst Zimmermann

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EEErnst Zimmermann: Lambek Calculus in Natural Deduction. J. Log. Comput. 18(4): 589-600 (2008)
2007
5EEErnst 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)
2EEErnst Zimmermann: Peirce's Rule in Natural Deduction. Theor. Comput. Sci. 275(1-2): 561-574 (2002)
2001
1EEErnst Zimmermann: A Subintuitionistic Logic and Some of Its Methods. RelMiCS 2001: 228-240

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)