Płaczek, P. Sequent Systems for Consequence Relations of Cyclic Linear Logics. B Sect Log 2024, 30 pp..