Commuting is an important property in any two-step information merging procedure where the results should not depend on the order in which the single steps are performed. In the case of bisymmetric aggregation operators with the neutral elements, Saminger, Mesiar and Dubois, already reduced characterization of commuting $n$-ary operators to resolving the unary distributive functional equations. And then the full characterizations of these equations are obtained under the assumption that the unary...

The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice ordered monoids (monoids) are common generalizations of $\text{BL}$-algebras, i.e., algebras of the propositional basic fuzzy logic, and Heyting algebras, i.e., algebras of the propositional intuitionistic logic. From the point of view of uncertain information, sets of provable formulas in inference systems could be described by fuzzy filters of the corresponding...

A degree of probabilistic dependence is introduced in the classical logic using the Frank family of $t$-norms known from fuzzy logics. In the quantum logic a degree of quantum dependence is added corresponding to the level of noncompatibility. Further, in the case of the fuzzy logic with $P$-states, (resp. $T$-states) the consideration turned out to be fully analogous to (resp. considerably different from) the classical situation.

In this paper, the ordinal sum construction methods of implications on bounded lattices are studied. Necessary and sufficient conditions of an ordinal sum for obtaining an implication are presented. New ordinal sum construction methods on bounded lattices which generate implications are discussed. Some basic properties of ordinal sum implications are studied.

In this paper, two construction methods have been proposed for uni-nullnorms on any bounded lattices. The difference between these two construction methods and the difference from the existing construction methods have been demonstrated and supported by an example. Moreover, the relationship between our construction methods and the existing construction methods for uninorms and nullnorms on bounded lattices are investigated. The charactertics of null-uninorms on bounded lattice $L$ are given and a...

In this paper, we propose the general methods, yielding uninorms on the bounded lattice $(L,\le ,0,1)$, with some additional constraints on $e\in L\setminus \{0,1\}$ for a fixed neutral element $e\in L\setminus \{0,1\}$ based on underlying an arbitrary triangular norm $T_e$ on $[0,e]$ and an arbitrary triangular conorm $S_e$ on $[e,1]$. And, some illustrative examples are added for clarity.