Kamide N, Mouri M. Natural deduction systems for some non-commutative logics. LLP [Internet]. 2007 Aug. 25 [cited 2024 Jul. 27];16(2-3):105-46. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2007.005