Kamide, N.; Mouri, M. Natural Deduction Systems for Some Non-Commutative Logics. LLP 2007, 16, 105-146.