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