1.
KAMIDE, Norihiro and MOURI, Motohiko. Natural deduction systems for some non-commutative logics. Logic and Logical Philosophy. Online. 25 August 2007. Vol. 16, no. 2-3, pp. 105-146. [Accessed 11 February 2025]. DOI 10.12775/LLP.2007.005.