|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О нетабличности дизъюнктивно-негативного фрагмента любой ω-параполной логики васильевского типастатья
- Автор: Попов В.М.
- Сборник: Общественные науки: вопросы и тенденции развития / Сборник научных трудов по итогам международной научно-практической конференции
- Том: 3
- Год издания: 2016
- Место издания: Красноярск
- Первая страница: 40
- Последняя страница: 51
- Аннотация: Работа выполнена в русле исследования проблемы табличности параполных логик. Главный результат предлагаемой статьи - доказательство нетабличности дизъюнктивно-негативного фрагмента любой ω-параполной логики васильевского типа.
- Добавил в систему: Маркин Владимир Ильич