Abstract:S. Shary introduced the notion of quantifier solutions to interval systems, in which the uncertainty on the coefficients of a system is modelled by a selecting predicate, allowing an alternation in an arbitrary order of the logical quantifiers (for all and there exists). AE solutions, a particular type of quantifier solutions, in which all the occurrences of the universal quantifier for all precede the occurrences of the existential quantifier there exists, have been studied by many authors. In this work we deal with EA solutions, another type of quantifier solutions to general interval linear systems, such that, in the selecting predicate, all the occurrences of the existential quantifier there exists precede the occurrences of the universal quantifier for all. The EA solutions can be considered as a dual form of AE solutions. We provide a full characterization of EA solutions. Moreover, we develop a necessary condition for EA solvability of the general interval linear systems, as well as a necessary and sufficient condition for a certain subcase.

Characterization of unique solvability of absolute value equations: an overview, extensions, and future directions

Sufficient conditions for the unique solvability of absolute value matrix equations

Correction to: On the Unique Solvability of the Absolute Value Equation

A Note on the Paper "The unique solution of the absolute value equations"

A Note on the Necessary Conditions for the Algebraic Riccati Equation.

An Overview of Absolute Value Equations: From Theory to Solution Methods and Challenges

Errata of the Unique Solvability of the Absolute Value Equation

The unique solution of a class of the new generalized absolute value equation

Further study on two fixed point iterative schemes for absolute value equations

The study of new fixed-point iteration schemes for solving absolute value equations

On the Solvability of General Inverse $σ_k$ Equations

On solvability of an indefinite Riccati equation

EA Solutions and EA Solvability to General Interval Linear Systems

Tensor Absolute Value Equations

A NECESSARY AND SUFFICIENT CONDITION FOR THE EXISTENCE OF POSITIVE SOLUTIONS TO SINGULAR BOUNDARY VALUE PROBLEMS

Existence and nonexistence of solutions for underdetermined generalized absolute value equations

A Uniqueness Theorem for Stability Problems of Functional Equations

Quantitative uniqueness of solutions to parabolic equations

Unique Solvability of a Coupling Problem for Entire Functions

A uniqueness result on ordinary differential equations with singular coefficients

Some Characterizations of Unique Extremality