Для распознавания коллизии цикла алгоритмическим способом нужно использовать соответствие "CT-замыкание". При этом используется следующий критерий:
Если в CT-замыкании E-структуры существуют пары (E, M), у которых литерал E является элементом множества M, то в E-структуре имеется коллизия цикла, в противном случае коллизия цикла отсутствует.
Анализ коллизий позволяет нам разделить все типы E-структур на два класса: корректные и некорректные E-структуры. Закрепим эту классификацию с помощью строгих определений.
E-структура называется корректной, если в ней не содержится никаких коллизий, в противном случае такая E-структура называется некорректной.
Некорректная E-структура называется парадоксальной, если в ней содержится коллизия парадокса, и непарадоксальной в противном случае.
Рассмотренные ранее коллизии можно считать чисто формальными коллизиями, так как они выявляются только на основе сведений, которые содержатся в исходных посылках. Представим теперь ситуацию, когда мы из исходных посылок вывели какие-то следствия и оказалось, что коллизии отсутствуют. Надо бы радоваться, но мы вдруг почему-то решили проверить, насколько наши следствия соответствуют действительности. И вполне возможно, что в следствиях содержатся сведения, которые вступают в конфликт с нашими знаниями. Если у нас есть строгие основания для того, чтобы считать наши знания истинными, то в этом случае можно для данной E‑структуры установить еще один тип коллизии, который мы назовем коллизией неадекватности.
Примеры коллизий неадекватности нередко встречаются в процессе исторического развития научного знания. На определенном историческом этапе в научной картине мира имеется некоторая теория, с помощью которой объясняются многие известные факты или результаты экспериментов. Но наука не стоит на месте: появляются некоторые новые факты, многие из которых соответствуют существующей теории (т.е. являются следствиями ее исходных положений). Вместе с тем иногда появляются факты (или экспериментальные данные), которые противоречат следствиям существующей теории. И эти противоречия как раз и есть то, что мы назвали коллизией неадекватности. И тогда в науке наступает этап споров и дискуссий, который предшествует рождению новой теории. В данном случае коллизию неадекватности можно считать инициатором новых научных открытий.