Return to Article Details Natural deduction systems for some non-commutative logics Download Download PDF