|
Алгебра и логика, 1996, том 35, номер 1, страницы 105–117
(Mi al2340)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Отсутствие интерполяции в некоторых предикатных суперинтуиционистских логиках
П. А. Шрайнер Институт математики СО РАН, г. Новосибирск
Аннотация:
Рассматриваются предикатные суперинтуиционистские логики с равенством. Доказывается отсутствие интерполяционного свойства и свойства Бета у всех предикатных суперинтуиционистских логик, содержащих логику, характеризуемую всеми шкалами, у которых все предметные области конечны, и содержащихся в классической логике конечных областей. Устанавливается отсутствие интерполяционного свойства у веет предикатных суперинтуиционистских логик, содержащих логику, характеризуемую всеми шкалами, у которых все предметные области нефинальных миров конечны, и содержащихся в логике, характеризуемой всеми двухэлементными шкалами с конечными константными областями.
Поступило: 18.04.1994
Образец цитирования:
П. А. Шрайнер, “Отсутствие интерполяции в некоторых предикатных суперинтуиционистских логиках”, Алгебра и логика, 35:1 (1996), 105–117
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2340 https://www.mathnet.ru/rus/al/v35/i1/p105
|
Статистика просмотров: |
Страница аннотации: | 21 | PDF полного текста: | 15 |
|