|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Non-deterministic Logic of Generalized Classical Truth Valuesстатья
- Авторы: Grigoriev Oleg, Petrukhin Yaroslav
- Сборник: Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev
- Серия: Synthese Library
- Том: 485
- Глава в коллективной монографии
- Год издания: 2024
- Издательство: Springer International Publishing AG
- Местоположение издательства: Cham, Switzerland
- Первая страница: 93
- Последняя страница: 109
- DOI: 10.1007/978-3-031-56595-3_4
- Аннотация: In this paper, we are going to combine two trends: non-deterministic logic and bi-facial logic of generalized truth values. Non-deterministic matrices allowed Avron, Ben-Naim, and Konikowska introduce a modification to Belnap and Dunn’s logic which may deal with the situation when the sources of information may give it about not only atomic formulas, but complex ones as well. Zaitsev and Shramko’s bi-facial truth logic distinguishes ontological and epistemic understanding of truth. The combination of these two approaches may allow to work with the sources providing epistemic truth values to complex formulas and evaluate their activity from the ontological point of view.
- Добавил в систему: Григорьев Олег Михайлович