Płaczek P. Sequent Systems for Consequence Relations of Cyclic Linear Logics. B Sect Log [Internet]. 2024 Apr. 24 [cited 2026 Feb. 26];53(2):245-74. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/20419