P. Płaczek, “Sequent systems for consequence relations of cyclic linear logics”, B Sect Log, p. 30 pp., Apr. 2024.