Álvarez Lisboa, Miguel. 2025. “Intuitionistic Logic from a Metainferential Perspective”. Logic and Logical Philosophy 35 (1):49–81. https://doi.org/10.12775/LLP.2025.006.