Płaczek P. Sequent Systems for Consequence Relations of Cyclic Linear Logics. B Sect Log. 2024;53(2):245-274. doi:10.18778/0138-0680.2024.06