EA Solutions and EA Solvability to General Interval Linear Systems
Jinhua Huang,Cong Wang,Haohao Li
DOI: https://doi.org/10.1080/03081087.2019.1696739
2019-01-01
Linear and Multilinear Algebra
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.