Д. С. Шамканов, “Интерполяционные свойства логик доказуемости $\mathbf{GL}$ и $\mathbf{GLP}$”, Труды МИАН, 2011, том 274,страницы 329

Эта публикация цитируется в 7 статьях

Интерполяционные свойства логик доказуемости $\mathbf{GL}$ и $\mathbf{GLP}$

Д. С. Шамканов

Кафедра математической логики и теории алгоритмов, Механико-математический факультет, Московский государственный университет им. М. В. Ломоносова, Москва, Россия

Аннотация: Исследуются интерполяционные свойства логик доказуемости. Доказаны интерполяционное свойство Линдона для логики $\mathbf{GL}$ и равномерное интерполяционное свойство для логики $\mathbf{GLP}$.

УДК: 510.6

Поступило в марте 2011 г.