Л. Л. Максимова, “Интерполяция и определимость в расширениях минимальной логики”, Алгебра и логика, 2005, том 44, номер 6,страницы 726

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

Интерполяция и определимость в расширениях минимальной логики

Л. Л. Максимова

Институт математики им. С. Л. Соболева СО РАН

Аннотация: Исследуются интерполяционное свойство и проективное свойство Бета в расширениях минимальной логики Йохансона. Рассматривается семейство логик некоторого специального вида. Находятся эффективные критерии, позволяющие проверить, обладает ли произвольная логика из этого семейства заданным свойством.

Ключевые слова: интерполяционное свойство, проективное свойство Бета, минимальная логика Йохансона, расширение логики.

УДК: 510.64

Поступило: 05.01.2005