ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
The paper discusses an application of the paracomplete model set in searching for automated natural deduction proofs. Particularly, we pay attention to one of the most popular 3-valued non-classical logics, Avron’s paracomplete logic PComp