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