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