Informacja

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

Wyszukujesz frazę "congruence kernel" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
On GE-algebras
Autorzy:
Bandaru, Ravikumar
Saeid, Arsham Borumand
Jun, Young Bae
Powiązania:
https://bibliotekanauki.pl/articles/1023338.pdf
Data publikacji:
2020-08-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
(transitive) GE-algebra
filter
upper set
congruence kernel
Opis:
Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra (generalized exchange algebra), is introduced and studied its properties. We consider filters, upper sets and congruence kernels in a GE-algebra. We also characterize congruence kernels of transitive GE-algebras.
Źródło:
Bulletin of the Section of Logic; 2021, 50, 1; 81-96
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
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ł
    Wyświetlanie 1-2 z 2

    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