Введение 5
1 Решётки Клини с делениями и их логики 14
1.1 Алгебраические определения . . . . . . . . . . . . . . . . . 14
1.2 Примеры решёток Клини с делениями . . . . . . . . . . . . 17
1.3 Алгебраические логики для решёток Клини с делениями 20
1.4 О правиле сечения и консервативных фрагментах . . . . . 29
1.5 Выводимые правила . . . . . . . . . . . . . . . . . . . . . . . 32
1.6 Вопросы алгоритмической сложности . . . . . . . . . . . . 40
1.7 Правило декомпозиции и моноиды Клини с делениями . 42
1.8 Секвенция, различающая ACT и ACT
