Return to Article Details On the Hierarchies of Some Propositional Systems for Classical and Non-classical Logics Download Download PDF