| |
| 2007 | ||
|---|---|---|
| 4 | EE | Wojciech Zielonka: On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String. J. Log. Comput. 17(2): 299-310 (2007) |
| 2002 | ||
| 3 | Wojciech Zielonka: On Reduction Systems Equivalent to The Lambek Calculus with the Empty String. Studia Logica 71(1): 31-46 (2002) | |
| 2001 | ||
| 2 | Wojciech Zielonka: Cut-Rule Axiomatization of the Syntactic Calculus L0. Journal of Logic, Language and Information 10(2): 233-236 (2001) | |
| 2000 | ||
| 1 | Wojciech Zielonka: Cut-Rule Axiomatization of the Syntactic Calculus NL0. Journal of Logic, Language and Information 9(3): 339-352 (2000) | |