RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив
Алгебра и логика, 2006, том 45, номер 4, страницы 409–435 (Mi al152)
Эта публикация цитируется в 2 статьях

Теоремы переноса для расширений паранепротиворечивой логики Нельсона

С. П. Одинцов

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

Аннотация: Описание табличных логик, предтабличных логик и логик, удовлетворяющих интерполяционному свойству Крейга, переносятся с класса суперинтуиционистских логик на класс расширений паранепротиворечивой логики Нельсона.

Ключевые слова: интерполяционное свойство Крейга, паранепротиворечивая логика Нельсона, предтабличная логика, табличная логика.

УДК: 510.64

Поступило: 12.12.2005


 Англоязычная версия: Algebra and Logic, 2006, 45:4, 232–247

Реферативные базы данных:

© МИАН, 2024