Chlebowski, Szymon, and Dorota Leszczyńska-Jasion. “An Investigation into Intuitionistic Logic With Identity”. Bulletin of the Section of Logic 48, no. 4 (December 31, 2019): 259–283. Accessed April 8, 2025. https://czasopisma.uni.lodz.pl/bulletin/article/view/6272.