Chlebowski, Szymon, and Dorota Leszczyńska-Jasion. 2019. “An Investigation into Intuitionistic Logic With Identity”. Bulletin of the Section of Logic 48 (4):259–283. https://doi.org/10.18778/0138-0680.48.4.02.