ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ЦЭМИ РАН |
||
We define four-valued propositional logic ETLn which corresponds to the idea of building Dunn-Belnap's logic (FDE) with one designated value. This research focused on the problem of constructing the standart axiomatization of ETLn and investigates the resulting philosophical features of this logic