Displaying similar documents to “Distributive, standard and neutral elements in trellises.”

Distributive multisemilattices

Arthur Knoebel, Anna Romanowska

Similarity:

A distributive multisemilattice of type n is an algebra with a family of n binary semilattice operations on a common carrier that are mutually distributive. This concept for n=2 comprises the distributive bisemilattices (or quasilattices), of which distributive lattices and semilattices with duplicated operations are the best known examples. Multisemilattices need not satisfy the absorption law, which holds in all lattices.Kalman has exhibited a subdirectly irreducible distributive bisemilattice...

On the variety Csub ( D )

Václav Slavík (1991)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The variety of lattices generated by lattices of all convex sublattices of distributive lattices is investigated.

Separation properties in congruence lattices of lattices

Miroslav Ploščica (2000)

Colloquium Mathematicae

Similarity:

We investigate the congruence lattices of lattices in the varieties ℳ n . 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 ℳ n have different congruence lattices.

On L 1 Space Formed by Complex-Valued Partial Functions

Yasushige Watase, Noboru Endou, Yasunari Shidama (2012)

Formalized Mathematics

Similarity:

In this article, we formalized L1 space formed by complexvalued partial functions [11], [15]. The real-valued case was formalized in [22] and this article is its generalization.