Álvarez Lisboa, Miguel. “Intuitionistic Logic from a Metainferential Perspective”. Logic and Logical Philosophy, Mar. 2025, pp. 1-33, doi:10.12775/LLP.2025.006.