Аннотация:
В данной работе рассматривается вопрос о применении оператора транзитивного замыкания для формул с одной функцией следования и предикатами делимости. Показано, что если допускать оператор транзитивного замыкания хотя бы по двум парам переменных, теория становится неразрешимой. Для формул, содержащих транзитивное замыкание по одной паре переменных, построены эквивалентные аналоги, не содержащие оператора транзитивного замыкания.
Первая страница:
PDF файл