Temat: closure operator - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: On M-operators of q-lattices
Autorzy:: Halaš, Radomír
Powiązania:: https://bibliotekanauki.pl/articles/729005.pdf
Data publikacji:: 2002
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: (complete) q-lattice
closure operator
M-operator
Opis:: It is well known that every complete lattice can be considered as a complete lattice of closed sets with respect to appropriate closure operator. The theory of q-lattices as a natural generalization of lattices gives rise to a question whether a similar statement is true in the case of q-lattices. In the paper the so-called M-operators are introduced and it is shown that complete q-lattices are q-lattices of closed sets with respect to M-operators.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2002, 22, 2; 119-129
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Filters of lattices with respect to a congruence
Autorzy:: Sambasiva Rao, M.
El-Mohsen Badawy, Abd
Powiązania:: https://bibliotekanauki.pl/articles/729197.pdf
Data publikacji:: 2014
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: congruence
filter
closure operator
θ-filter
congruence lattice
Opis:: Some properties of filters on a lattice L are studied with respect to a congruence on L. The notion of a θ-filter of L is introduced and these filters are then characterized in terms of classes of θ. For distributive L, an isomorphism between the lattice of θ-filters of L and the lattice of filters of $L_{/θ}$ is obtained.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2014, 34, 2; 213-219
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: Finite atomistic lattices that can be represented as lattices of quasivarieties
Autorzy:: Adaricheva, K.
Dziobiak, Wiesław
Gorbunov, V.
Powiązania:: https://bibliotekanauki.pl/articles/1208668.pdf
Data publikacji:: 1993
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: atomistic lattice
quasivariety
Mal'cev problem
equa-closure operator
semilattice
Opis:: We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of [11].
Źródło:: Fundamenta Mathematicae; 1993, 142, 1; 19-43
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

Tytuł:: Interior and closure operators on bounded commutative residuated l-monoids
Autorzy:: Rachůnek, Jiří
Švrček, Filip
Powiązania:: https://bibliotekanauki.pl/articles/728848.pdf
Data publikacji:: 2008
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: residuated l-monoid
residuated lattice
closure operator
BL-algebra
MV-algebra
Opis:: Topological Boolean algebras are generalizations of topological spaces defined by means of topological closure and interior operators, respectively. The authors in [14] generalized topological Boolean algebras to closure and interior operators of MV-algebras which are an algebraic counterpart of the Łukasiewicz infinite valued logic. In the paper, these kinds of operators are extended (and investigated) to the wide class of bounded commutative Rl-monoids that contains e.g. the classes of BL-algebras (i.e., algebras of the Hájek's basic fuzzy logic) and Heyting algebras as proper subclasses.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 1; 11-27
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 5.

Tytuł:: Closure Operators on Complete Almost Distributive Lattices-III
Autorzy:: Rao, Calyampudi Radhakrishna
Undurthi, Venugopalam
Powiązania:: https://bibliotekanauki.pl/articles/749960.pdf
Data publikacji:: 2015
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Complete Almost Distributive Lattice
Closure operator
Dual atom
Dual atomistic
Completely meet-irreducible element
Opis:: In this paper, we prove that the lattice of all closure operators of a complete Almost Distributive Lattice L with fixed maximal element m is dual atomistic. We define the concept of a completely meet-irreducible element in a complete ADL and derive a necessary and sufficient condition for a dual atom of Φ(L) to be complemented.
Źródło:: Bulletin of the Section of Logic; 2015, 44, 1-2
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 6.

Tytuł:: Semi-open sets in biclosure spaces
Autorzy:: Khampakdee, Jeeranunt
Boonpok, Chawalit
Powiązania:: https://bibliotekanauki.pl/articles/728732.pdf
Data publikacji:: 2009
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: closure operator
biclosure space
semi-open set
semi-continuous map
semi-irresolute map
pre semi-open map
Opis:: The aim of this paper is to introduce and study semi-open sets in biclosure spaces. We define semi-continuous maps and semi-irresolute maps and investigate their behavior. Moreover, we introduce pre-semi-open maps in biclosure spaces and study some of their properties.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2009, 29, 2; 181-201
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 7.

Tytuł:: On the Leibniz congruences
Autorzy:: Font, Josep
Powiązania:: https://bibliotekanauki.pl/articles/1361077.pdf
Data publikacji:: 1993
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: deductive system
protoalgebraic logic
Gentzen calculus
closure operator
abstract logic
algebraizable logic
Leibniz congruence
selfextensional logic
logical matrices
algebraic logic
Opis:: The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory the interderivability relation modulo the theory). For protoalgebraic deductive systems the class of algebras associated in general turns out to be the class of algebra reducts of reduced matrices, which is the algebraic counterpart usually considered for this large class of deductive systems; but in the general case the new class of algebras shows a better behaviour.
Źródło:: Banach Center Publications; 1993, 28, 1; 17-36
0137-6934
Pojawia się w:: Banach Center Publications
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja