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

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

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



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






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


Зап. научн. сем. ПОМИ, 1995, том 220, страницы 72–82 (Mi znsl4281)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

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

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

С.-Петербургский государственный университет

Аннотация: Статья посвящена описанию уровневых логик с логическими значениями в виде рациональных чисел. Все логические значения, большие нуля, являются истинными, логические значения, меньшие нуля, являются ложными, логическое значение, равное нулю, называется парадоксальным. Уровневая логика, использующая все рациональные числа из отрезка $[-1/2,1/2]$, имеет сходство с нечетной логикой Заде. Предлагается секвенциальное исчисление для таких логик. Правила вывода для логических связок и кванторов определяются как в традиционном исчислении предикатов с обратимыми правилами введения логических связок как в антецедент, так и в сукцедент секвенции. Отметим, что правила предикатного исчисления ранее не предлагались для уровневых логик, отличных от классической двузначной логики.
Теорема 6. Алгорифм установления выводимости в этом исчислении принадлежит классу EXP-LIN-TIME.
Библ. – 9 назв.

Полный текст: PDF файл (543 kB)

Англоязычная версия:
Journal of Mathematical Sciences (New York), 1997, 87:1, 3221–3227

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.64
Поступило: 25.02.1994

Образец цитирования: Н. К. Косовский, “Уровневые логики”, Исследования по конструктивной математике и математической логике. 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://www.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}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/znsl4281
  • http://mi.mathnet.ru/rus/znsl/v220/p72

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. А. С. Герасимов, “Бесконечнозначная логика Лукасевича первого порядка: гиперсеквенциальные исчисления без структурных правил и поиск вывода предварённых предложений”, Матем. тр., 20:2 (2017), 3–34  mathnet  crossref  elib; A. S. Gerasimov, “Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form”, Siberian Adv. Math., 28:2 (2018), 79–100  crossref
  • Записки научных семинаров ПОМИ
    Просмотров:
    Эта страница:110
    Полный текст:45
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022