Álvarez Lisboa, M. Intuitionistic Logic from a Metainferential Perspective. LLP 2025, 1-33.