Álvarez Lisboa M. Intuitionistic Logic from a Metainferential Perspective. LLP [Internet]. 2025 Mar. 26 [cited 2026 Feb. 24];:49–81. Available from: https://apcz.umk.pl/LLP/article/view/56873