Kamide, Norihiro, i Motohiko Mouri. 2007. „Natural Deduction Systems for Some Non-Commutative Logics”. Logic and Logical Philosophy 16 (2-3):105-46. https://doi.org/10.12775/LLP.2007.005.