PŁACZEK, P. Sequent systems for consequence relations of cyclic linear logics. Bulletin of the Section of Logic, [S. l.], p. 30 pp., 2024. DOI: 10.18778/0138-0680.2024.06. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/20419. Acesso em: 20 may. 2024.