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