Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
scientific article