|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О диаграммах дедуктивного вывода импликативных тавтологийстатья
- Автор: Боков Г.В.
- Сборник: Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды
- Редакторы: Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
- Серия: 978-5-317-05834-0
- Том: 1
- Год издания: 2018
- Издательство: ООО "МАКС Пресс"
- Местоположение издательства: Москва
- Первая страница: 50
- Последняя страница: 53
- Аннотация: Будет определено понятие диаграммы дедуктивного вывода, которая являются простой формой для представления доказательств в интуиционистском импликативном исчислении, и описано эффективное сведение разрешающей процедуры для интуиционистских импликативных тавтологий к разрешающей проблеме для диаграмм дедуктивного вывода.
- Добавил в систему: Боков Григорий Владимирович