Wojciech Zielonka Cut-Rule Axiomatization of the Syntactic Calculus L0. 233-236 2001 10 Journal of Logic, Language and Information 2 db/journals/jolli/jolli10.html#Zielonka01