ÁLVAREZ LISBOA, Miguel. Intuitionistic Logic from a Metainferential Perspective. Logic and Logical Philosophy. Online. 26 March 2025. p. 49–81. [Accessed 24 February 2026]. DOI 10.12775/LLP.2025.006.