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