Язык описания логических систем.

Аннотация

Настоящая статья содержит описание базовых понятий, лежащих в основе программной системы поддержки иптерактивнго поиска доказательства "Дедукция". Мы стремились излагать понятия в том виде , в котором они фактически используются в программе , а не в соответствии с представлениями авт орову сложившимися к настоящему моменту. Целью статьи является формальное определение логической базы и возможностей программы . Это позволяет увидеть недостатки и определить направления ее дальнейшего развития. Вместе с тем мы рассчитываем , что статья окажется полезной для тех пользователей программы , которые сами формулируют логические системы в терминах программы " Дедукция"