|
Алгебра и логика, 2011, том 50, номер 2, страницы 152–188
(Mi al479)
|
|
|
|
Эта публикация цитируется в 16 научных статьях (всего в 16 статьях)
Разрешимость слабого интерполяционного свойства над минимальной логикой
Л. Л. Максимоваab a Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
b Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
Аннотация:
Даётся описание расширений минимальной логики Йохансона $\mathrm J$ со слабым интерполяционным свойством. Доказывается разрешимость этого свойства над логикой $\mathrm J$.
Ключевые слова:
минимальная логика Йохансона, расширение логики, слабое интерполяционное свойство, разрешимость.
Поступило: 10.03.2010
Образец цитирования:
Л. Л. Максимова, “Разрешимость слабого интерполяционного свойства над минимальной логикой”, Алгебра и логика, 50:2 (2011), 152–188; Algebra and Logic, 50:2 (2011), 106–132
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al479 https://www.mathnet.ru/rus/al/v50/i2/p152
|
Статистика просмотров: |
Страница аннотации: | 591 | PDF полного текста: | 82 | Список литературы: | 51 | Первая страница: | 4 |
|