Displaying similar documents to “On a certain construction of lattice expansions”

Closure Łukasiewicz algebras

Abad Manuel, Cimadamore Cecilia, Díaz Varela José, Rueda Laura, Suardíaz Ana (2005)

Open Mathematics

Similarity:

In this paper, the variety of closure n-valued Łukasiewicz algebras, that is, Łukasiewicz algebras of order n endowed with a closure operator, is investigated. The lattice of subvarieties in the particular case in which the open elements form a three-valued Heyting algebra is obtained.

Congruence lattices in varieties with compact intersection property

Filip Krajník, Miroslav Ploščica (2014)

Czechoslovak Mathematical Journal

Similarity:

We say that a variety 𝒱 of algebras has the Compact Intersection Property (CIP), if the family of compact congruences of every A ∈ 𝒱 is closed under intersection. We investigate the congruence lattices of algebras in locally finite, congruence-distributive CIP varieties and obtain a complete characterization for several types of such varieties. It turns out that our description only depends on subdirectly irreducible algebras in 𝒱 and embeddings between them. We believe that the strategy...

A note on cylindric lattices

Ivo Düntsch (1993)

Banach Center Publications

Similarity:

0. Introduction. Besides being of intrinsic interest, cylindric (semi-) lattices arise naturally from the study of dependencies in relational databases; the polynomials on a cylindric semilattice are closely related to the queries obtainable from project-join mappings on a relational database (cf. [D] for references). This note is intended to initiate the study of these structures, and only a few, rather basic results will be given. Some problems at the end will hopefully stimulate further...

Varieties of Distributive Rotational Lattices

Gábor Czédli, Ildikó V. Nagy (2013)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

A rotational lattice is a structure 〈 L ; ∨ , ∧ , g 〉 where L = 〈 L ; ∨ , ∧ 〉 is a lattice and g is a lattice automorphism of finite order. We describe the subdirectly irreducible distributive rotational lattices. Using Jónsson’s lemma, this leads to a description of all varieties of distributive rotational lattices.