Autor: Radeleczki, Sándor - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Classification systems and their lattice
Autorzy:: Radeleczki, Sándor
Powiązania:: https://bibliotekanauki.pl/articles/729009.pdf
Data publikacji:: 2002
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: concept lattice
CJ-generated complete lattice
atomistic complete lattice
(independent) classification system
classification lattice
box lattice
Opis:: We define and study classification systems in an arbitrary CJ-generated complete lattice L. Introducing a partial order among the classification systems of L, we obtain a complete lattice denoted by Cls(L). By using the elements of the classification systems, another lattice is also constructed: the box lattice B(L) of L. We show that B(L) is an atomistic complete lattice, moreover Cls(L)=Cls(B(L)). If B(L) is a pseudocomplemented lattice, then every classification system of L is independent and Cls(L) is a partition lattice.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2002, 22, 2; 167-181
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
Autorzy:: Dzik, Wojciech
Radeleczki, Sándor
Powiązania:: https://bibliotekanauki.pl/articles/749994.pdf
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: filtering unification
compatible operation
intuitionistic logic
Heyting algebra
residuated lattice
Opis:: We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering (or directed) unification, that is, the property that for every two unifiers there is a unifier more general then both of them. Contrary to that, often adding new operations to algebras results in changing the unification type. To prove the results we apply the theorems of [9] on direct products of l-algebras and filtering unification. We consider examples of frontal Heyting algebras, in particular Heyting algebras with the successor, γ and G operations as well as expansions of some commutative integral residuated lattices with successor operations.
Źródło:: Bulletin of the Section of Logic; 2016, 45, 3/4
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: On interval decomposition lattices
Autorzy:: Foldes, Stephan
Radeleczki, Sándor
Powiązania:: https://bibliotekanauki.pl/articles/728916.pdf
Data publikacji:: 2004
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: interval
closure system
modular decomposition
semimodular lattice
partition lattice
strong set
lexicographic sum
Opis:: Intervals in binary or n-ary relations or other discrete structures generalize the concept of interval in an ordered set. They are defined abstractly as closed sets of a closure system on a set V, satisfying certain axioms. Decompositions are partitions of V whose blocks are intervals, and they form an algebraic semimodular lattice. Lattice-theoretical properties of decompositions are explored, and connections with particular types of intervals are established.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 1; 95-114
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

Tytuł:: Commutative directoids with sectionally antitone bijections
Autorzy:: Chajda, Ivan
Kolařík, Miroslav
Radeleczki, Sándor
Powiązania:: https://bibliotekanauki.pl/articles/728818.pdf
Data publikacji:: 2008
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: directoid
section antitone bijection
implication algebra
double implication algebra
Opis:: We study commutative directoids with a greatest element, which can be equipped with antitone bijections in every principal filter. These can be axiomatized as algebras with two binary operations satisfying four identities. A minimal subvariety of this variety is described.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 1; 77-89
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja