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

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

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


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




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

Записки научных семинаров ПОМИ, 1997, том 241, страницы 135–149 (Mi znsl485)  
Градуируемые логические значения для представления знаний

Н. К. Косовский, А. В. Тишков

Санкт-Петербургский государственный университет
PDF полного текста (189 kB)
Аннотация: Статья посвящена описанию секвенциальных исчислений с возможностью сравнения утверждений логик Поста и изучению их основных свойств. Эти исчисления могут быть применены для компьютерного представления знаний. Библ. – 5 назв.
Поступило: 19.02.1997
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2000, Volume 98, Issue 4, Pages 500–507
DOI: https://doi.org/10.1007/BF02362270
Реферативные базы данных:
УДК: 510.64
Образец цитирования: Н. К. Косовский, А. В. Тишков, “Градуируемые логические значения для представления знаний”, Исследования по конструктивной математике и математической логике. X, Зап. научн. сем. ПОМИ, 241, ПОМИ, СПб., 1997, 135–149; J. Math. Sci. (New York), 98:4 (2000), 500–507
Цитирование в формате AMSBIB
\RBibitem{KosTis97}
\by Н.~К.~Косовский, А.~В.~Тишков
\paper Градуируемые логические значения для представления знаний
\inbook Исследования по конструктивной математике и математической логике.~X
\serial Зап. научн. сем. ПОМИ
\yr 1997
\vol 241
\pages 135--149
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl485}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1706194}
\zmath{https://zbmath.org/?q=an:0958.68166}
\transl
\jour J. Math. Sci. (New York)
\yr 2000
\vol 98
\issue 4
\pages 500--507
\crossref{https://doi.org/10.1007/BF02362270}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl485
  • https://www.mathnet.ru/rus/znsl/v241/p135
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024