Алгебра терминов
- Терминальные алгебры используются для изучения свойств и операций над терминами в формальных языках.
- Терминальные алгебры имеют область, в которой определены сложение и умножение.
- Функция сложения и умножения в терминальных алгебрах являются «лентяями», записывая вычисления, которые должны быть выполнены.
- Гомоморфизмы позволяют оценивать термины из терминальной алгебры в других алгебраических системах.
- Основа бренда Herbrand представляет собой сигнатуру языка, состоящую из алфавита констант, функциональных символов и предикатов.
- Терминальные алгебры могут быть показаны разрешимыми с помощью исключения квантификатора.
Полный текст статьи: