Correspondence analysis for logic of rational agent

Рассматривается с теоретико-доказательной точки зрения логика рационального агента (LRA) Кубышкиной и Зайцева. В работе построено три системы натурального вывода для LRA, отличающиеся от аксиоматизации LRA, осуществлённой Кубышкиной и Зайцевым. Кроме того, сформулирован общий метод аксиоматизации с помощью натуральных исчислений расширений LRA любыми истинностно-функциональными одноместными и двухместными операторами. Этот метод есть не что иное, как описанный Коем и Таммингой корресподентский анализ, адаптированный в данном случае для LRA.