Алгебра и логика,
2009, том 48, номер 1, страницы 54–89
(Mi al390)
|
Эта публикация цитируется в
1 статье
Ограниченное интерполяционное свойство в суперинтуиционистских логиках
Л. Л. Максимова Ин-т матем. СО РАН, г. Новосибирск, Россия
Аннотация:
Исследуется ограниченное интерполяционное свойство IPR в модальных и суперинтуиционистских логиках. Доказывается, что в суперинтуиционистских логиках конечных слоев и в конечнослойных расширениях логики Гжегорчика свойство IPR равносильно проективному свойству Бета PB2.
Ключевые слова:
ограниченное интерполяционное свойство, проективное свойство Бета, суперинтуиционистская логика, логика Гжегорчика.
УДК:
510.64 Поступило: 06.03.2007
© , 2024
Полный текст:
PDF файл (305 kB)
