|
Алгебра и логика, 1999, том 38, номер 3, страницы 316–333
(Mi al2469)
|
|
|
|
Эта публикация цитируется в 20 научных статьях (всего в 20 статьях)
Проективные свойства Бета в модальных и суперинтуиционистских логиках
Л. Л. Максимова Институт математики СО РАН, г. Новосибирск
Аннотация:
Рассматриваются проективные свойства Бета в суперинтуиционистских и нормальных модальных логиках. Устанавливаются их взаимосвязи, а также соотношения с интерполяционными свойствами логик. Находятся алгебраические эквиваленты проективных свойств Бета.
Поступило: 16.12.1997
Образец цитирования:
Л. Л. Максимова, “Проективные свойства Бета в модальных и суперинтуиционистских логиках”, Алгебра и логика, 38:3 (1999), 316–333
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2469 https://www.mathnet.ru/rus/al/v38/i3/p316
|
Статистика просмотров: |
Страница аннотации: | 45 | PDF полного текста: | 10 |
|