Płaczek P. Sequent systems for consequence relations of cyclic linear logics. B Sect Log [Internet]. 2024 Apr. 24 [cited 2024 May 20];:30 pp. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/20419