KAWANO, T. Labeled Sequent Calculus for Orthologic. Bulletin of the Section of Logic, [S. l.], v. 47, n. 4, p. 217–232, 2018. DOI: 10.18778/0138-0680.47.4.01. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/4772. Acesso em: 19 may. 2024.