ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
В работе исследуются базисы заданий логических систем пропозициональными исчислениями. Доказано существование логических систем классических тавтологий имеющих базис сколь угодно большой конечной мощности и счётной мощности, не имеющих базиса, имеющих полную систему, из которой нельзя выделить базис.