Płaczek, P. (2024) “Sequent Systems for Consequence Relations of Cyclic Linear Logics”,
Bulletin of the Section of Logic
, 53(2), pp. 245–274. doi: 10.18778/0138-0680.2024.06.