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

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

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


Челяб. физ.-матем. журн.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Челябинский физико-математический журнал, 2017, том 2, выпуск 3, страницы 329–337 (Mi chfmj67)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Математика

Correspondence analysis for logic of rational agent
[Корреспондентский анализ для логики рационального агента]

Ya. I. Petrukhin

Lomonosov Moscow State University
PDF полного текста (765 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Аннотация: Рассматривается с теоретико-доказательной точки зрения логика рационального агента (LRA) Кубышкиной и Зайцева. В работе построено три системы натурального вывода для LRA, отличающиеся от аксиоматизации LRA, осуществлённой Кубышкиной и Зайцевым. Кроме того, сформулирован общий метод аксиоматизации с помощью натуральных исчислений расширений LRA любыми истинностно-функциональными одноместными и двухместными операторами. Этот метод есть не что иное, как описанный Коем и Таммингой корресподентский анализ, адаптированный в данном случае для LRA.
Ключевые слова: многозначные логики, обобщённые истинностные значения, корреспондентский анализ, натуральное исчисление.
Поступила в редакцию: 03.05.2017
Исправленный вариант: 13.09.2017
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образец цитирования: Ya. I. Petrukhin, “Correspondence analysis for logic of rational agent”, Челяб. физ.-матем. журн., 2:3 (2017), 329–337
Цитирование в формате AMSBIB
\RBibitem{Pet17}
\by Ya.~I.~Petrukhin
\paper Correspondence analysis for logic of rational agent
\jour Челяб. физ.-матем. журн.
\yr 2017
\vol 2
\issue 3
\pages 329--337
\mathnet{http://mi.mathnet.ru/chfmj67}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3673262}
\elib{https://elibrary.ru/item.asp?id=30487866}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/chfmj67
  • https://www.mathnet.ru/rus/chfmj/v2/i3/p329
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Челябинский физико-математический журнал
    Статистика просмотров:
    Страница аннотации:191
    PDF полного текста:38
    Список литературы:38
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025