Исчисление Ламбека с модальностью локального сокращения, его свойства и семантика

Добавление к исчислению Ламбека экспоненциальных модальностей позволяет контролируемым образом восстановить возможность применения структурных правил перестановки, ослабления и сокращения, которые отсутствуют в исходном исчислении. Более общо, рассматриваются исчисления с субэкспоненциальными модальностями, под знаком которых допускаются лишь некоторые из этих правил. В докладе будут введены исчисления с модальностью локального сокращения, установлена их взаимосвязь с уже исследованными исчислениями, определена реляционная семантика и доказана теорема о корректности и полноте относительно неё.