KAMIDE, N. Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality. Logic and Logical Philosophy, [S. l.], v. 28, n. 3, p. 481–511, 2019. DOI: 10.12775/LLP.2019.002. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2019.002. Acesso em: 24 apr. 2024.