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

Алгебра и логика, 1999, том 38, номер 3, страницы 316–333 (Mi al2469)

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

Проективные свойства Бета в модальных и суперинтуиционистских логиках

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

Институт математики СО РАН, г. Новосибирск

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

УДК: 510.64

Поступило: 16.12.1997


 Англоязычная версия: DOI: 10.1007/BF02671741

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


© МИАН, 2024