Сибирские электронные математические известия
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Сиб. электрон. матем. изв.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Сибирские электронные математические известия, 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 г.
Тип публикации: Статья
УДК: 510.6
MSC: 03B45
Образец цитирования: Л. Л. Максимова, “Негативная эквивалентность над минимальной логикой и интерполяция”, Сиб. электрон. матем. изв., 11 (2014), 1–17
Цитирование в формате AMSBIB
\RBibitem{Mak14}
\by Л.~Л.~Максимова
\paper Негативная эквивалентность над минимальной логикой и интерполяция
\jour Сиб. электрон. матем. изв.
\yr 2014
\vol 11
\pages 1--17
\mathnet{http://mi.mathnet.ru/semr467}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr467
  • https://www.mathnet.ru/rus/semr/v11/p1
  • Эта публикация цитируется в следующих 6 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:302
    PDF полного текста:65
    Список литературы:44
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024