Indrzejczak A. Cut Elimination Theorem for Non-Commutative Hypersequent Calculus. B Sect Log [Internet]. 2017 Jun. 30 [cited 2024 Nov. 21];46(1/2):135–149. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/2934