|
Сибирские электронные математические известия, 2014, том 11, страницы 1–17
(Mi semr467)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Математическая логика, алгебра и теория чисел
Негативная эквивалентность над минимальной логикой и интерполяция
Л. Л. Максимова Институт математики им. С. Л. Соболева СО РАН, пр. академика Коптюга 4, 630090, Новосибирск, Россия
Аннотация:
It is proved that extensions of the minimal Johansson logic J are negatively equivalent if and only if their centers are equal. It is proved in [1] that the logics with the weak interpolation property WIP are divided into eight intervals with etalon logics on the top. Therefore a logic possesses WIP iff it is negatively equivalent to one of the eight etalon logics. An axiomatization and a semantic characterization are found for WIP-minimal logics, which are the least elements of all eight intervals of logics with WIP. The Craig interpolation property CIP is stated for the most of WIP-minimal logics.
Ключевые слова:
minimal logic, negative equivalence, semantic completeness, interpolation.
Поступила 31 мая 2013 г., опубликована 21 января 2014 г.
Образец цитирования:
Л. Л. Максимова, “Негативная эквивалентность над минимальной логикой и интерполяция”, Сиб. электрон. матем. изв., 11 (2014), 1–17
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr467 https://www.mathnet.ru/rus/semr/v11/p1
|
Статистика просмотров: |
Страница аннотации: | 320 | PDF полного текста: | 71 | Список литературы: | 55 |
|