M. Álvarez Lisboa, “Intuitionistic Logic from a Metainferential Perspective”, LLP, pp. 1–33, Mar. 2025.