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...