TY  - RPRT
TI  - Normalization and cut-elimination theorems for some logics of evidence and truth
AU  - Marcelo E. Coniglio
AU  - Martín Figallo
AU  - Abilio Rodrigues
PY  - 2024
UR  - https://arxiv.org/abs/2405.20932
ID  - 2405.20932
ER  -