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

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

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


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




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

Записки научных семинаров ПОМИ, 1995, том 220, страницы 72–82 (Mi znsl4281)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Уровневые логики

Н. К. Косовский

С.-Петербургский государственный университет
PDF полного текста (543 kB) Список цитирования (1)
Аннотация: Статья посвящена описанию уровневых логик с логическими значениями в виде рациональных чисел. Все логические значения, большие нуля, являются истинными, логические значения, меньшие нуля, являются ложными, логическое значение, равное нулю, называется парадоксальным. Уровневая логика, использующая все рациональные числа из отрезка $[-1/2,1/2]$, имеет сходство с нечетной логикой Заде. Предлагается секвенциальное исчисление для таких логик. Правила вывода для логических связок и кванторов определяются как в традиционном исчислении предикатов с обратимыми правилами введения логических связок как в антецедент, так и в сукцедент секвенции. Отметим, что правила предикатного исчисления ранее не предлагались для уровневых логик, отличных от классической двузначной логики.
Теорема 6. Алгорифм установления выводимости в этом исчислении принадлежит классу EXP-LIN-TIME.
Библ. – 9 назв.
Поступило: 25.02.1994
Англоязычная версия:
Journal of Mathematical Sciences (New York), 1997, Volume 87, Issue 1, Pages 3221–3227
DOI: https://doi.org/10.1007/BF02358995
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.64
Образец цитирования: Н. К. Косовский, “Уровневые логики”, Исследования по конструктивной математике и математической логике. IX, Зап. научн. сем. ПОМИ, 220, ПОМИ, СПб., 1995, 72–82; J. Math. Sci. (New York), 87:1 (1997), 3221–3227
Цитирование в формате AMSBIB
\RBibitem{Kos95}
\by Н.~К.~Косовский
\paper Уровневые логики
\inbook Исследования по конструктивной математике и математической логике.~IX
\serial Зап. научн. сем. ПОМИ
\yr 1995
\vol 220
\pages 72--82
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl4281}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1374096}
\zmath{https://zbmath.org/?q=an:0934.03032}
\transl
\jour J. Math. Sci. (New York)
\yr 1997
\vol 87
\issue 1
\pages 3221--3227
\crossref{https://doi.org/10.1007/BF02358995}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl4281
  • https://www.mathnet.ru/rus/znsl/v220/p72
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024