Classical Gentzen-type methods in propositional many-valued logics | IEEE Conference Publication | IEEE Xplore