Alizadeh, Majid, and Masoud Memarzadeh. “Interpolation Property on Visser’s Formal Propositional Logic”. Bulletin of the Section of Logic 51, no. 3 (September 20, 2022): 297–316. Accessed June 15, 2024. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/9684.