Бескванторные описания для интервально-кванторных линейных систем

Рассматривается система отношений вида $Ax\sigma b$, где $\sigma$ – вектор отношений с компонентами $=$, $\geq$ и $\leq$, а параметры (элементы матрицы $A$ и правой части $b$) могут принимать значения из заданных интервалов. Что считать множеством ее решений, зависит от того, какой квантор связан с каждым интервально-значным параметром и каков порядок кванторных приставок по отдельным параметрам. Для множеств решений с кванторной приставкой достаточно общего вида получены эквивалентные бескванторные описания в классической интервальной арифметике, в интервальной арифметике Каухера и в обычной вещественной арифметике.