E-program
Описание
Е-программа создана Б.А.Куликом для работы с Е-логикой. Е-программа позволяет обнаруживать противоречия в исходных посылках, вычислять все возможные следствия, которые дополняют систему до полной, вычислять инварианты СТ-замыкание и диаграмму Хассе, а также минимальное множество бинарных посылок дедуктивно выведена исходная система