Álvarez Lisboa, Miguel. “Intuitionistic Logic from a Metainferential Perspective”. Logic and Logical Philosophy 35, no. 1 (March 26, 2025): 49–81. Accessed April 12, 2026. https://apcz.umk.pl/LLP/article/view/56873.