Płaczek, P. Sequent Systems for Consequence Relations of Cyclic Linear Logics. B Sect Log 2024, 53, 245-274.