We consider posets of lattice paths (endowed with a natural order) and begin the study of such structures. We give an algebraic condition to recognize which ones of these posets are lattices. Next we study the class of Dyck lattices (i.e., lattices of Dyck paths) and give a recursive construction for them. The last section is devoted to the presentation of a couple of open problems.

A very simple proof of the finite embeddability property for residuated distributivelattice-ordered groupoids and some related classes of algebras is presented. In particular, this gives an answer to the question posed in [3, Problem 4.2]. The presented construction allows for improvement of the upper bound on the complexity of the decision procedure for the universal theory of residuated distr...

The amalgamation property (AP) is of particular interest in the study of residuated lattices due to its relationship with various syntactic interpolation properties of substructural logics. There are no examples to date of non-commutative varieties of residuated lattices that satisfy the AP. The variety SemRL of semilinear residuated lattices is a natural candidate for enjoying this property, s...

This paper studies a fascinating type of filter in residuated lattices, the so-called pure filters. A combination algebraic and topological methods on filters lattice is applied to obtain some new structural results. The notion purely-prime has been investigated, Cohen-type theorem obtained. It shown that spectrum compact sober space, Grothendieck-type demonstrated. proved Gelfand Hausdorff ded...

A notion of reticulation which provides topological properties on algebras has introduced on commutative rings in 1980 by Simmons in [5]. For a given commutative ring A, a pair (L, λ) of a bounded distributive lattice and a mapping λ : A → L satisfying some conditions is called a reticulation on A, and the map λ gives a homeomorphism between the topological space Spec(A) consisting of prime fil...

In this paper, we present triangle algebras: residuated lattices equipped with two modal, or approximation, operators and with a third angular point u, different from 0 (false) and 1 (true), intuitively denoting ignorance about a formula’s truth value. We prove that these constructs, which bear a close relationship to several other algebraic structures including rough approximation spaces, prov...

Hahn’s famous structure theorem states that totally ordered Abelian groups can be embedded in the lexicographic product of real groups. Our main theorem extends this structural description to order-dense, commutative, group-like residuated chains, which has only finitely many idempotents. It is achieved via the so-called partial-lexicographic product construction (to be introduced here) using t...

In this paper, it is shown that the category of stratified $L$-generalized convergence spaces is monoidal closed if the underlying truth-value table $L$ is a complete residuated lattice. In particular, if the underlying truth-value table $L$ is a complete Heyting Algebra, the Cartesian closedness of the category is recaptured by our result.

Right-residuated binars and right-divisible residuated binars are defined as precursors of generalized hoops, followed by some results and open problems about these partially ordered algebras. Next we show that all complete homomorphic images of a complete residuated lattice A can be constructed easily on certain definable subsets of A. Applying these observations to the algebras of Hajek’s Bas...