PŁACZEK, Paweł. One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity. Bulletin of the Section of Logic, [S. l.], v. 50, n. 1, p. 55–80, 2020. DOI: 10.18778/0138-0680.2020.25. Disponível em: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/8117. Acesso em: 15 jun. 2024.