Álvarez Lisboa, M. (2025) “Intuitionistic Logic from a Metainferential Perspective”, Logic and Logical Philosophy, pp. 1–33. doi: 10.12775/LLP.2025.006.