Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: algebraic lattice

Sortuj według:

Ogranicz wyniki do:

A Categorical View on Algebraic Lattices in Formal Concept Analysis

100%

Hitzler P. , Krötzsch M. , Zhang G.-Q.

tom Vol. 74, nr 2,3

301-328

Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched with notions such as approximation by computation or representability. The latter are commonly studied in denotational semantics and domain theory and captured most prominently by the notion of algebraicity, e.g. of lattices. In this paper, we explore the notion of algebraicity in formal concept analysis from a category-theoretical perspective. To this end, we build on the notion of approximable concept with a suitable category and show that the latter is equivalent to the category of algebraic lattices. At the same time, the paper provides a relatively comprehensive account of the representation theory of algebraic lattices in the framework of Stone duality, relating well-known structures such as Scott information systems with further formalisms from logic, topology, domains and lattice theory.

Irredundant Decomposition of Algebras into One-Dimensional Factors

72%

Staruch B.

tom 45

nr 3/4

We introduce a notion of dimension of an algebraic lattice and, treating such a lattice as the congruence lattice of an algebra, we introduce the dimension of an algebra, too. We define a star-product as a special kind of subdirect product. We obtain the star-decomposition of algebras into one-dimensional factors, which generalizes the known decomposition theorems e.g. for Abelian groups, linear spaces, Boolean algebras.

Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts

72%

Staruch B. , Staruch B.

tom 45

nr 3/4

We describe here a special subdirect decomposition of algebras with modular congruence lattice. Such a decomposition (called a star-decomposition) is based on the properties of the congruence lattices of algebras. We consider four properties of lattices: atomic, atomless, locally uniform and anti-uniform. In effect, we describe a star-decomposition of a given algebra with modular congruence lattice into two or three parts associated to these properties.