Temat: congruence - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Skocz do pozycji: 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ł

Skocz do pozycji: 3.

Tytuł:: On QI-algebras
Autorzy:: Bandaru, Ravi Kumar
Powiązania:: https://bibliotekanauki.pl/articles/38140990.pdf
Data publikacji:: 2017-12-20
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: BI-algebra
QI-algebra
right distributive
ideal
congruence kernel
Opis:: In this paper, the notion of a QI-algebra is introduced which is a generalization of a BI-algebra and there are studied its properties. We considered ideals, congruence kernels in a QI-algebra and characterized congruence kernels whenever a QI-algebra is right distributive.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2017, 37, 2; 137-145
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

Tytuł:: Implication algebras
Autorzy:: Chajda, Ivan
Powiązania:: https://bibliotekanauki.pl/articles/729171.pdf
Data publikacji:: 2006
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: implication algebra
pre-implication algebra
orthoimplication algebra
orthosemilattice
congruence kernel
Opis:: We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unified approach enables us to compare the mentioned algebras and apply a unified treatment of congruence properties.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2006, 26, 2; 141-153
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 5.

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ł

Skocz do pozycji: 6.

Tytuł:: Orthorings
Autorzy:: Chajda, Ivan
Länger, Helmut
Powiązania:: https://bibliotekanauki.pl/articles/729119.pdf
Data publikacji:: 2004
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: ortholattice
generalized ortholattice
sectionally complemented lattice
orthoring
arithmetical variety
weakly regular variety
congruence kernel
ideal term
basis of ideal terms
subtractive term
Opis:: Certain ring-like structures, so-called orthorings, are introduced which are in a natural one-to-one correspondence with lattices with 0 every principal ideal of which is an ortholattice. This correspondence generalizes the well-known bijection between Boolean rings and Boolean algebras. It turns out that orthorings have nice congruence and ideal properties.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 1; 137-147
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja