Alizadeh, M.; Memarzadeh, M. Interpolation Property on Visser’s Formal Propositional Logic. B Sect Log 2022, 51, 297-316.