Kostrzycka, Zofia. “Interpolation in Normal Extensions of the Brouwer Logic”. Bulletin of the Section of Logic 45, no. 3/4 (December 30, 2016): 171–184. Accessed December 9, 2025. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/1816.