|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
On an application of the paracomplete model setдоклад на конференции
- Авторы: Шангин В.О., Болотов А.Е.
- Международная Конференция : Восьмые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2013 года
- Даты проведения конференции: 19-21 июня 2013
- Тип доклада: не указан
- Докладчик: не указан
- Место проведения: г.Москва, МГУ имени М.В. Ломоносова, Russia
-
Аннотация доклада:
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
- Добавил в систему: Шангин Василий Олегович