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

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

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


Матем. тр.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Математические труды, 2006, том 9, номер 2, страницы 60–108 (Mi mt48)  
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Решетка расширений минимальной логики

С. П. Одинцов

Институт математики им. С. Л. Соболева СО РАН
PDF полного текста (4493 kB) Список цитирования (3)
Список литературы:
PDF
HTML
Аннотация: Настоящая работа содержит систематическое изложение результатов о строении решетки расширений минимальной логики Lj, паранепротиворечивого аналога интуиционистской логики Li. В отличие от хорошо изученных классов избыточных логик класс расширений минимальной логики имеет интересную глобальную структуру. Он представляет собой дизъюнктное объединение класса промежуточных логик Int, класса негативных логик Neg, имеющих вырожденное отрицание, и класса собственно паранепротиворечивых расширений минимальной логики Par. Классы Int и Neg хорошо изучены, а изучение класса Par в определенной степени может быть сведено к классам Int и Neg.
Ключевые слова и фразы: логика Иоганссона, $j$-алгебра, паранепротиворечивость, решетка логик, негативная эквивалентность.
Статья поступила: 11.05.2006
Англоязычная версия:
Siberian Advances in Mathematics, 2007, Volume 17, Issue 2, Pages 112–143
DOI: https://doi.org/10.3103/S1055134407020034
Реферативные базы данных:
УДК: 510.64
Образец цитирования: С. П. Одинцов, “Решетка расширений минимальной логики”, Матем. тр., 9:2 (2006), 60–108; Siberian Adv. Math., 17:2 (2007), 112–143
Цитирование в формате AMSBIB
\RBibitem{Odi06}
\by С.~П.~Одинцов
\paper Решетка расширений минимальной логики
\jour Матем. тр.
\yr 2006
\vol 9
\issue 2
\pages 60--108
\mathnet{http://mi.mathnet.ru/mt48}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2301600}
\elib{https://elibrary.ru/item.asp?id=9530047}
\transl
\jour Siberian Adv. Math.
\yr 2007
\vol 17
\issue 2
\pages 112--143
\crossref{https://doi.org/10.3103/S1055134407020034}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mt48
  • https://www.mathnet.ru/rus/mt/v9/i2/p60
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические труды Siberian Advances in Mathematics
    Статистика просмотров:
    Страница аннотации:361
    PDF полного текста:284
    Список литературы:49
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024