Теория систем переписывания представляет эффективный аппарат формализации знаний в ряде важных областей искусственного интеллекта и компьютерной алгебры. В статье определяется алгебраическая система c семантикой совокупности правил условной эквациональной теории или условной системы переписывания термов. В рамках данной модели вводится и исследуется специальный класс логических уравнений. Результаты могут быть применены для верификации соответствующего множества правил. Ключевые слова: термы, эквациональная теория, условные правила, алгебраическая модель, логические уравнения.
