From Axioms to Analytic Rules in Nonclassical Logics | IEEE Conference Publication | IEEE Xplore