|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Базисы заданий логических систем пропозициональными исчислениямистатья
- Автор: Боков Г.В.
- Сборник: Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.)
- Год издания: 2019
- Место издания: Изд-во механико-математического факультета МГУ
- Первая страница: 252
- Последняя страница: 254
- Аннотация: В работе исследуются базисы заданий логических систем пропозициональными исчислениями. Доказано существование логических систем классических тавтологий имеющих базис сколь угодно большой конечной мощности и счётной мощности, не имеющих базиса, имеющих полную систему, из которой нельзя выделить базис.
- Добавил в систему: Боков Григорий Владимирович