AE solutions and AE solvability to general interval linear systems

We consider linear systems of equations and inequalities with coefficients varying inside given intervals. We define their solutions (so called AE solutions) and solvability (so called AE solvability) by using forall-exists quantification of interval parameters. We present an explicit description of the AE solutions, and discuss complexity issues as well. For AE solvability, we propose a sufficient condition only, but for a specific sub-class of problems, a complete characterization is developed. Moreover, we investigate inequality systems for which AE solvability is equivalent to existence of an AE solution.