Фрагмент исчисления Ламбека с релевантной модальностьюдоклад на конференции