Sobre a lógica da verdade pragmática em cálculo de sequentes - Rodrigues, Douglas Alexandre [UNESP] (2021)