Geodesic
Correspondence analysis for logic of rational agent
Čelâbinskij fiziko-matematičeskij žurnal, Tome 2 (2017) no. 3, pp. 329-337

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{CHFMJ_2017_2_3_a6,
     author = {Ya. I. Petrukhin},
     title = {Correspondence analysis for logic of rational agent},
     journal = {\v{C}el\^abinskij fiziko-matemati\v{c}eskij \v{z}urnal},
     pages = {329--337},
     publisher = {mathdoc},
     volume = {2},
     number = {3},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CHFMJ_2017_2_3_a6/}
}
TY  - JOUR
AU  - Ya. I. Petrukhin
TI  - Correspondence analysis for logic of rational agent
JO  - Čelâbinskij fiziko-matematičeskij žurnal
PY  - 2017
SP  - 329
EP  - 337
VL  - 2
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CHFMJ_2017_2_3_a6/
LA  - en
ID  - CHFMJ_2017_2_3_a6
ER  - 
%0 Journal Article
%A Ya. I. Petrukhin
%T Correspondence analysis for logic of rational agent
%J Čelâbinskij fiziko-matematičeskij žurnal
%D 2017
%P 329-337
%V 2
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CHFMJ_2017_2_3_a6/
%G en
%F CHFMJ_2017_2_3_a6
Ya. I. Petrukhin. Correspondence analysis for logic of rational agent. Čelâbinskij fiziko-matematičeskij žurnal, Tome 2 (2017) no. 3, pp. 329-337. http://geodesic.mathdoc.fr/item/CHFMJ_2017_2_3_a6/