A matrix $A$ is said to have $𝐗$-simple image eigenspace if any eigenvector $x$ belonging to the interval $𝐗=\{x:\underline{x}\le x\le \overline{x}\}$ is the unique solution of the system $A\otimes y=x$ in $𝐗$. The main result of this paper is a combinatorial characterization of such matrices in the linear algebra over max-min (fuzzy) semiring. The characterized property is related to and motivated by the general development of tropical linear algebra and interval analysis, as well as the notions of simple image set and weak robustness (or weak stability) that...

A vector $x$ is said to be an eigenvector of a square max-min matrix $A$ if $A\otimes x=x$. An eigenvector $x$ of $A$ is called the greatest $𝐗$-eigenvector of $A$ if $x\in 𝐗=\{x;\underline{x}\le x\le \overline{x}\}$ and $y\le x$ for each eigenvector $y\in 𝐗$. A max-min matrix $A$ is called strongly $𝐗$-robust if the orbit $x,A\otimes x,A^2\otimes x,\cdots$ reaches the greatest $𝐗$-eigenvector with any starting vector of $𝐗$. We suggest an $O\left(n^3\right)$ algorithm for computing the greatest $𝐗$-eigenvector of $A$ and study the strong $𝐗$-robustness. The necessary and sufficient conditions for strong $𝐗$-robustness are introduced and an efficient...

The investigations of conditional distributivity are encouraged by distributive logical connectives and their generalizations used in fuzzy set theory and were brought into focus by Klement in the closing session of Linzs 2000. This paper is mainly devoted to characterizing all pairs $(O,F)$ of aggregation functions that are satisfying conditional distributivity laws, where $O$ is an overlap function, and $F$ is a continuous t-conorm or a uninorm with continuous underlying operators.

The topic of the paper are $\Omega$-algebras, where $\Omega$ is a complete lattice. In this research we deal with congruences and homomorphisms. An $\Omega$-algebra is a classical algebra which is not assumed to satisfy particular identities and it is equipped with an $\Omega$-valued equality instead of the ordinary one. Identities are satisfied as lattice theoretic formulas. We introduce $\Omega$-valued congruences, corresponding quotient $\Omega$-algebras and $\Omega$-homomorphisms and we investigate connections among these notions. We prove...

By max-plus algebra we mean the set of reals $ℝ$ equipped with the operations $a\oplus b=max\{a,b\}$ and $a\otimes b=a+b$ for $a,b\in ℝ.$ A vector $x$ is said to be a generalized eigenvector of max-plus matrices $A,B\in ℝ(m,n)$ if $A\otimes x=\lambda \otimes B\otimes x$ for some $\lambda \in ℝ$. The investigation of properties of generalized eigenvectors is important for the applications. The values of vector or matrix inputs in practice are usually not exact numbers and they can be rather considered as values in some intervals. In this paper the properties of matrices and vectors with inexact (interval) entries...