Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "semilattice" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-10 z 15
Tytuł:
On unique factorization semilattices
Autorzy:
Silva, Pedro
Powiązania:
https://bibliotekanauki.pl/articles/728874.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
semilattice
factorization
principal ideal
semilattice embedding
Munn semigroup
Opis:
The class of unique factorization semilattices (UFSs) contains important examples of semilattices such as free semilattices and the semilattices of idempotents of free inverse monoids. Their structural properties allow an efficient study, among other things, of their principal ideals. A general construction of UFSs from arbitrary posets is presented and some categorical properties are derived. The problem of embedding arbitrary semilattices into UFSs is considered and complete characterizations are obtained for particular classes of semilattices. The study of the Munn semigroup for regular UFSs is developed and a complete characterization is accomplished with respect to being E-unitary.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 1; 97-120
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On distributive trices
Autorzy:
Horiuchi, Kiyomitsu
Tepavčević, Andreja
Powiązania:
https://bibliotekanauki.pl/articles/728794.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
triple semilattice
trice
distributive trice
Opis:
A triple-semilattice is an algebra with three binary operations, which is a semilattice in respect of each of them. A trice is a triple-semilattice, satisfying so called roundabout absorption laws. In this paper we investigate distributive trices. We prove that the only subdirectly irreducible distributive trices are the trivial one and a two element one. We also discuss finitely generated free distributive trices and prove that a free distributive trice with two generators has 18 elements.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 1; 21-29
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Congruence classes in Brouwerian semilattices
Autorzy:
Chajda, Ivan
Länger, Helmut
Powiązania:
https://bibliotekanauki.pl/articles/729047.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
congruence class
Brouwerian semilattice
ideal
Opis:
Brouwerian semilattices are meet-semilattices with 1 in which every element a has a relative pseudocomplement with respect to every element b, i. e. a greatest element c with a∧c ≤ b. Properties of classes of reflexive and compatible binary relations, especially of congruences of such algebras are described and an abstract characterization of congruence classes via ideals is obtained.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 2; 229-237
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On Semilattice-based Logics with an Algebraizable Assertional Companion
Autorzy:
Font, Josep Maria
Powiązania:
https://bibliotekanauki.pl/articles/1368456.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
semilattice-based logics
assertional logic
frege hierarchy
Opis:
This paper studies some properties of the so-called semilattice-based logics (which are defined in a standard way using only the order relation from a variety of algebras that have a semilattice reduct with maximum) under the assumption that its companion assertional logic (defined from the same variety of algebras using the top element as representing truth) is algebraizable. This describes a very common situation, and the conclusion of the paper is that these semilattice-based logics exhibit some of the good behaviour of protoalgebraic logics, without being necessarily so. The main result is that all these logics have enough Leibniz filters, a fact previously known in the literature to occur only for protoalgebraic logics. Another significant result is that the two companion logics coincide if and only if one of them enjoys the characteristic property of the other, that is, if and only if the semilattice-based logic is algebraizable, and if and only if its assertional companion is selfextensional. When these conditions are met, then the (unique) logic is finitely, regularly and strongly algebraizable and fully Fregean; this places it at some of the highest ranks in both the Leibniz hierarchy and the Frege hierarchy.
Źródło:
Reports on Mathematical Logic; 2011, 46; 109-132
0137-2904
2084-2589
Pojawia się w:
Reports on Mathematical Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quasi-implication algebras
Autorzy:
Chajda, Ivan
Dušek, Kamil
Powiązania:
https://bibliotekanauki.pl/articles/729013.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
implication
non-involutory negation
quasi-implication algebra
implitcation algebra
pseudocomplemented semilattice
q-semilattice
Opis:
A quasi-implication algebra is introduced as an algebraic counterpart of an implication reduct of propositional logic having non-involutory negation (e.g. intuitionistic logic). We show that every pseudocomplemented semilattice induces a quasi-implication algebra (but not conversely). On the other hand, a more general algebra, a so-called pseudocomplemented q-semilattice is introduced and a mutual correspondence between this algebra and a quasi-implication algebra is shown.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2002, 22, 2; 183-198
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Tytuł:
Semilattices with sectional mappings
Autorzy:
Chajda, Ivan
Eigenthaler, Günther
Powiązania:
https://bibliotekanauki.pl/articles/729127.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
semilattice
sectional mapping
antitone mapping
switching mapping
involution
Opis:
We consider join-semilattices with 1 where for every element p a mapping on the interval [p,1] is defined; these mappings are called sectional mappings and such structures are called semilattices with sectional mappings. We assign to every semilattice with sectional mappings a binary operation which enables us to classify the cases where the sectional mappings are involutions and / or antitone mappings. The paper generalizes results of [3] and [4], and there are also some connections to [1].
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 1; 11-19
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Congruences on semilattices with section antitone involutions
Autorzy:
Chajda, Ivan
Powiązania:
https://bibliotekanauki.pl/articles/729025.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
semilattice
section
antitone involution
congruence kernel
filter
congruence distributivity
3-permutability
Opis:
We deal with congruences on semilattices with section antitone involution which rise e.g., as implication reducts of Boolean algebras, MV-algebras or basic algebras and which are included among implication algebras, orthoimplication algebras etc. We characterize congruences by their kernels which coincide with semilattice filters satisfying certain natural conditions. We prove that these algebras are congruence distributive and 3-permutable.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2010, 30, 2; 207-215
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ring-like operations is pseudocomplemented semilattices
Autorzy:
Chajda, Ivan
Länger, Helmut
Powiązania:
https://bibliotekanauki.pl/articles/728882.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
pseudocomplemented semilattice
Boolean algebra
Boolean ring
distributivity
linear equation
ideal
congruence kernel
Opis:
Ring-like operations are introduced in pseudocomplemented semilattices in such a way that in the case of Boolean pseudocomplemented semilattices one obtains the corresponding Boolean ring operations. Properties of these ring-like operations are derived and a characterization of Boolean pseudocomplemented semilattices in terms of these operations is given. Finally, ideals in the ring-like structures are defined and characterized.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 1; 87-95
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-10 z 15

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies