Chlebowski, S., & Leszczyńska-Jasion, D. (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