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