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

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

Maksimova L. L.
The Lyndon property and uniform interpolation over the Grzegorczyk logic

We consider versions of the interpolation property stronger than the Craig interpolation property and prove the Lyndon interpolation property for the Grzegorczyk logic and some of its extensions. We also establish the Lyndon interpolation property for most extensions of the intuitionistic logic with Craig interpolation property. For all modal logics over the Grzegorczyk logic as well as for all superintuitionistic logics, the uniform interpolation property is equivalent to Craig’s property.

Полный текст статьи / Full texts:

• PDF file
• PostScript file