CERIOLI, Márcia Rosana; SUGUITANI, Leandro Oliva; VIANA, Jorge Petrúcio.
Natural Deduction System for the Logic of Binary Relations Based on the Algebraic Tradition. In: WORKSHOP BRASILEIRO DE LÓGICA (WBL), 1. , 2020, Evento Online.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2020
.
p. 49-56.
ISSN 2763-8731.
DOI: https://doi.org/10.5753/wbl.2020.11458.