Tableaux for metainferential logics.
Saved in:
| Title: | Tableaux for metainferential logics. |
|---|---|
| Authors: | Bavosa Castro, A.1,2, Borzi, A.1,2, Da Ré, B.1,2, Roffé, A. J.2,3, Toranzo Calderón, J. S.1,2,4, jtoranzocalderon@frba.utn.edu.artoranzocalderonjs@gmail.com |
| Source: | Journal of Applied Non-Classical Logics; Mar2026, Vol. 36 Issue 1, p113-146, 34p |
| Database: | Applied Science & Technology Source |
| ISSN: | 11663081 |
|---|---|
| DOI: | 10.1080/11663081.2025.2573584 |
