Representing lattices by homotopy groups of graphs
In this paper we represent every lattice by subgroups of free groups using the concept of the homotopy group of a graph.
Residuation Theory (Book Review by R. McFadden.
Retracts of abelian lattice ordered groups
Rotations of -lattices
In [2], J. Klimes studied rotations of lattices. The aim of the paper is to research rotations of the so-called -lattices introduced in [3] by V. Snasel.
Semi lattices whose structure lattice is distributive.
Semigroups and their lattice of congruences.
Semigroups and their lattice of congruences II.
Semigroups and their subsemigroup lattices.
Semigroups with Boolean Congruence Lattices.
Semi-ideals in semi-lattices
Semilattice theory with applications to point-set topology
Semilattices do not have equationally compact hulls
Semilattices of width 2.
Semi-local lattices
Semimodularity and weak modularity in subalgebra lattices of completely simple semigroups.
Semimodularity in lower continuous strongly dually atomic lattices
For lattices of finite length there are many characterizations of semimodularity (see, for instance, Grätzer [3] and Stern [6]–[8]). The present paper deals with some conditions characterizing semimodularity in lower continuous strongly dually atomic lattices. We give here a generalization of results of paper [7].
Separation properties in congruence lattices of lattices
We investigate the congruence lattices of lattices in the varieties . Our approach is to represent congruences by open sets of suitable topological spaces. We introduce some special separation properties and show that for different n the lattices in have different congruence lattices.
Sequential convergences in distributive lattices
In this paper we investigate the system Conv of all sequential convergences on a distributive lattice .
Sequential convergences in lattices
The notion of sequential convergence on a lattice is defined in a natural way. In the present paper we investigate the system of all sequential convergences on a lattice .
Signed states on a logic