It is shown that the Boolean center of complemented elements in a bounded integral residuated lattice characterizes direct decompositions. Generalizing both Boolean products and poset sums of residuated lattices, the concepts of poset product, Priestley product and Esakia product of algebras are defined and used to prove decomposition theorems for various ordered algebras. In particular, we sho...

As an extension of interval-valued pseudo t-norms, pseudo-overlap functions (IPOFs) play a vital role in solving multi-attribute decision making problems. However, their corresponding algebraic structure has not been studied yet. On the other hand, with development non-commutative (non-associative) fuzzy logic, study residuated lattice theory is gradually deepening. Due to conditions operators ...

In this paper, we enlarge the language of triangle algebra by addinga unary operation that describes properties of a state. Thesestructure algebras are called state triangle algebra. The vitalproperties of these algebras are given. The notion of state interval-valued residuated lattice (IVRL)-filters are introduced and givesome examples and properties of them are given. ...

Lattice-valued semiuniform convergence structures are important mathematical in the theory of lattice-valued topology. Choosing a complete residuated lattice $L$ as background, we introduce new type filters using tensor and implication operations on $L$, which is called $\top$-filters. By means $\top$-filters, propose concept $\top$-semiuniform counterpart structures. Different from usual discu...

Recently, three-way concept lattice is studied to handle the uncertainty and incompleteness in the given attribute set based on acceptation, rejection, and uncertain regions. This paper aimed at analyzing the uncertainty and incompleteness in the given fuzzy attribute set characterized by truth-membership, indeterminacy-membership, and falsity membership functions of a defined single-valued neu...

Varieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects: e.g. normal subgroups of groups, two-sided ideals of rings, …lters (or ideals) of Boolean algebras. Abstract algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A...

We consider the class of pointed varieties of algebras having a lattice term reduct and we show that each such variety gives rise in a natural way, and according to a regular pattern, to at least three interesting logics. Although the mentioned class includes several logically and algebraically signi…cant examples (e.g. Boolean algebras, MV algebras, Boolean algebras with operators, residuated ...