Lyndon's interpolation property for the logic of strict implication. - Narbe Aboolian; Majid Alizadeh (Log. J. IGPL, 2022)