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