Tese de Guilherme Vicentin de Toledo

Multiálgebras e Semânticas Não-Determinísticas aplicadas a Lógicas Paraconsistentes