The main goal of this paper is to introduce hybrid positive implicative and hybrid implicative (pre)filters of EQ-algebras. In the following, some characterizations of this hybrid (pre)filters are investigated and it is proved that the quotient algebras induced by hybrid positive implicative filters in residuated EQ-algebras are idempotent and residuated EQ-algebra. Moreover, the relationship between hybrid implicative prefilters and hybrid positive implicative prefilters are discussed and it is...

The concept of separation by hyperplanes and halfspaces is fundamental for convex geometry and its tropical (max-plus) analogue. However, analogous separation results in max-min convex geometry are based on semispaces. This paper answers the question which semispaces are hyperplanes and when it is possible to “classically” separate by hyperplanes in max-min convex geometry.

In this paper, we introduce a new class of residuated lattices called De Morgan residuated lattices, we show that the variety of De Morgan residuated lattices includes important subvarieties of residuated lattices such as Boolean algebras, MV-algebras, BL-algebras, Stonean residuated lattices, MTL-algebras and involution residuated lattices. We investigate specific properties of ideals in De Morgan residuated lattices, we state the prime ideal theorem and the pseudo-complementedness of the ideal...

The notion of reverse of any binary operation on the unit interval is introduced. The properties of reverses of some binary operations are studied and some applications of reverses are indicated.

A matrix $A$ in $(max,min)$-algebra (fuzzy matrix) is called weakly robust if $A^k\otimes x$ is an eigenvector of $A$ only if $x$ is an eigenvector of $A$. The weak robustness of fuzzy matrices are studied and its properties are proved. A characterization of the weak robustness of fuzzy matrices is presented and an $O\left(n^2\right)$ algorithm for checking the weak robustness is described.

In this paper we introduce stable topology and $F$-topology on the set of all prime filters of a BL-algebra $A$ and show that the set of all prime filters of $A$, namely Spec($A$) with the stable topology is a compact space but not $T_0$. Then by means of stable topology, we define and study pure filters of a BL-algebra $A$ and obtain a one to one correspondence between pure filters of $A$ and closed subsets of Max($A$), the set of all maximal filters of $A$, as a subspace of Spec($A$). We also show that for any filter...

A. M. Bica has constructed in [6] two isomorphic Abelian groups, defined on quotient sets of the set of those unimodal fuzzy numbers which have strictly monotone and continuous sides. In this paper, we extend the results of above mentioned paper, to a larger class of fuzzy numbers, by adding the flat fuzzy numbers. Furthermore, we add the topological structure and we characterize the constructed quotient groups, by using the set of the continuous functions with bounded variation, defined on $[0,1]$.

A finite iteration method for solving systems of (max, min)-linear equations is presented. The systems have variables on both sides of the equations. The algorithm has polynomial complexity and may be extended to wider classes of equations with a similar structure.

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}\}$ containing a constant vector is the unique solution of the system $A\otimes y=x$ in $𝐗$. The main result of this paper is an extension of $𝐗$-simplicity to interval max-min matrix $𝐀=\{A:\underline{A}\le A\le \overline{A}\}$ distinguishing two possibilities, that at least one matrix or all matrices from a given interval have $𝐗$-simple image eigenspace. $𝐗$-simplicity of interval matrices in max-min algebra are studied and equivalent conditions for interval...