Свойство Линдона и униформная интерполяция над логикой Гжегорчика

Рассматриваются варианты интерполяционного свойства, более сильные, чем интерполяционное свойство Крейга CIP. Доказывается интерполяционное свойство Линдона LIP для логики Гжегорчика Grz и некоторых ее расширений. Также установлено LIP для большинства расширений интуиционистской логики c CIP. Для всех модальных логик над логикой Grz, а также для всех суперинтуиционистских логик униформное интерполяционное свойство UIP равносильно свойству Крейга.