We present the numbers of all non-isomorphic residuated lattices with up to 12 elements and a link to a database of these lattices. In addition, we explore various characteristics of these lattices such as the width, length, and various properties considered in the literature and provide the corresponding statistics. We also present algorithms for computing finite lattices and finite residuated...

We introduce a new class of lattices, the modernistic lattices, and their duals, the comodernistic lattices. We show that every modernistic or comodernistic lattice has shellable order complex. We go on to exhibit a large number of examples of (co)modernistic lattices. We show comodernism for two main families of lattices that were not previously known to be shellable: the order congruence latt...

Necessary and sufficient conditions will be found for quadruples of lattices to be isomorphic to lattices of weak, relative, strong subalgebras and initial segments, respectively, of one partial unary algebra. To this purpose we will start with a characterization of pairs of lattices that are weak and strong subalgebra lattices of one partial unary algebra, respectively. Next, we will describe ...

A finite lattice L is called slim if no three join-irreducible elements of L form an antichain. Slim lattices are planar. Slim semimodular lattices play the main role in [3], where lattice theory is applied to a purely group theoretical problem. After exploring some easy properties of slim lattices and slim semimodular lattices, we give two visual structure theorems for slim semimodular lattices.

This paper presents an investigation of many valued lattices from the point of view of enriched category theory. For a bounded partially ordered set P , the conditions for P to become a lattice can be postulated as existence of certain adjunctions. Reformulating these adjunctions, by aid of enriched category theory, in many valued setting, two kinds of many valued lattices, weak -lattices and -...

design of crystal-like lattices can be achieved by using some net operations. hypothetical networks, thus obtained, can be characterized in their topology by various counting polynomials and topological indices derived from them. the networks herein presented are related to the dyck graph and described in terms of omega polynomial and piv polynomials.