ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
There are two principal sources behind this paper. On the one hand, it contributes to a project of generalized truth values and corresponding logics, more specically, to its brand new branch labeled as \logics of generalized classical truth values". On the other hand, this logic within the manifold of logics of generalized classical values can be deemed as arising from a very dierent origin. The motivating idea for a logic we present further is to develop Kleene's intuition and consider a valuational system whose values allow capturing into the knowledge state of a rational agent. And it is at that point, when Sally met Harry - the logic under construction is (1) an extension of Kleene's logic presented as (2) a logic of generalized truth values, aca Logic of Rational Agent (LRA).