|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О диаграммах дедуктивного вывода импликативных тавтологийдоклад на конференции
- Автор: Боков Г.В.
- Международная Конференция : X Международная конференция "Дискретные модели в теории управляющих систем"
- Даты проведения конференции: 22-25 мая 2018
- Дата доклада: 23 мая 2018
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Московская область, Можайский район, Красновидово, Россия
-
Аннотация доклада:
Будет определено понятие диаграммы дедуктивного вывода, которая являются простой формой для представления доказательств в интуиционистском импликативном исчислении, и описано эффективное сведение разрешающей процедуры для интуиционистских импликативных тавтологий к разрешающей проблеме для диаграмм дедуктивного вывода.
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Боков Григорий Владимирович