@misc{indiciae3e6f330932b9, title = {Normalization and cut-elimination theorems for some logics of evidence and truth}, author = {Marcelo E. Coniglio and Martín Figallo and Abilio Rodrigues}, year = {2024}, url = {https://arxiv.org/abs/2405.20932}, note = {Source identifier: 2405.20932} }