|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Cyclic Negations and Four-valuednessстатья
- Авторы: Grigoriev Oleg, Zaitsev Dmitry
- Сборник: In Andrzej Indrzejczak and Michał Zawidzki: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022), Łódź, Poland, 14-18 March 2022
- Серия: Electronic Proceedings in Theoretical Computer Science
- Том: 358
- Год издания: 2022
- Первая страница: 216
- Последняя страница: 226
- DOI: 10.4204/EPTCS.358.16
- Аннотация: We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as an operation which acts like a cycling negation. We define two variants of logical matrices performing different orders over the set of truth values. Purely formal logical result of our study consists in axiomatizing the logics of defined matrices as the systems of binary consequence relation and proving correctness and completeness theorems for these deductive systems.
- Добавил в систему: Петрухин Ярослав Игоревич