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