|
Chelyabinskiy Fiziko-Matematicheskiy Zhurnal, 2017, Volume 2, Issue 3, Pages 329–337
(Mi chfmj67)
|
|
|
|
This article is cited in 1 scientific paper (total 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
Citation:
Ya. I. Petrukhin, “Correspondence analysis for logic of rational agent”, Chelyab. Fiz.-Mat. Zh., 2:3 (2017), 329–337
Linking options:
https://www.mathnet.ru/eng/chfmj67 https://www.mathnet.ru/eng/chfmj/v2/i3/p329
|
Statistics & downloads: |
Abstract page: | 188 | Full-text PDF : | 38 | References: | 38 |
|