This article is cited in 1 paper

Mathematics

Correspondence analysis for logic of rational agent

Ya. I. Petrukhin

Lomonosov Moscow State University

Abstract: In this paper, we examine Kubyshkina & Zaitsev's Logic of Rational Agent (LRA) from a proof-theoretic point of view. We present three natural deduction systems for LRA which differ from Kubyshkina & Zaitsev's axiomatization of LRA. Moreover, we introduce a general method for axiomatizing LRA's unary and binary truth-functional extensions via natural deduction systems. This method is Kooi & Tamminga's correspondence analysis which we adapt for LRA.

Keywords: many-valued logics, generalized truth values, correspondence analisys, natural deduction systems.

Received: 03.05.2017
Revised: 13.09.2017

Language: English

Bibliographic databases:

• 
•