A. Bavosa Castro, A. Borzi, Bruno Da Ré, Ariel Jonathan Roffé, Joaquin S. Toranzo Calderon. Tableaux for metainferential logics. Journal of Applied Non-Classical Logics, 36(1):113-146, January 2026. [doi]
@article{CastroBRRC26,
title = {Tableaux for metainferential logics},
author = {A. Bavosa Castro and A. Borzi and Bruno Da Ré and Ariel Jonathan Roffé and Joaquin S. Toranzo Calderon},
year = {2026},
month = {January},
doi = {10.1080/11663081.2025.2573584},
url = {https://doi.org/10.1080/11663081.2025.2573584},
researchr = {https://researchr.org/publication/CastroBRRC26},
cites = {0},
citedby = {0},
journal = {Journal of Applied Non-Classical Logics},
volume = {36},
number = {1},
pages = {113-146},
}