Normalization and cut-elimination theorems for some logics of evidence and truth

Marcelo E. Coniglio, Martín Figallo, Abilio Rodrigues

In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-…