INDRZEJCZAK, Andrzej; PETRUKHIN, Yaroslav. Uniform Cut-Free Bisequent Calculi for Three-Valued Logics. Logic and Logical Philosophy, [S. l.], v. 33, n. 3, p. 463–506, 2024. DOI: 10.12775/LLP.2024.019. Disponível em: https://apcz.umk.pl/LLP/article/view/47308. Acesso em: 28 jun. 2025.