RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 2006, том 45, номер 1, страницы 85–113 (Mi al119)

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

Проективное свойство Бета и интерполяция в позитивных и близких к ним логиках

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

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

Аннотация: Исследуются соотношения проективного свойства Бета в некласических логиках с интерполяционными свойствами. Ранее автором доказано, что в позитивных логиках так же, как и в суперинтуиционистских и в модальных логиках, проективное свойство Бета PB2 следует из интерполяционного свойства Крейга и влечёт ограниченное интерполяционное свойство IPR. Устанавливается, что IPR и PB2 равносильны в позитивных логиках, а также в расширениях суперинтуиционистской логики KC и модальной логики Grz.2.

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

УДК: 510.64

Поступило: 02.06.2005


 Англоязычная версия: Algebra and Logic, 2006, 45:1, 49–66

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


© МИАН, 2024