Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych:  congruences
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

On n × m-valued Łukasiewicz-Moisil algebras

100%
Sanza C.
Open Mathematics
|
2008
|
tom 6
|
nr 3
372-383
EN
n×m-valued Łukasiewicz algebras with negation were introduced and investigated in [20, 22, 23]. These algebras constitute a non trivial generalization of n-valued Łukasiewicz-Moisil algebras and in what follows, we shall call them n×m-valued Łukasiewicz-Moisil algebras (or LM n×m -algebras). In this paper, the study of this new class of algebras is continued. More precisely, a topological duality for these algebras is described and a characterization of LM n×m -congruences in terms of special subsets of the associated space is shown. Besides, it is determined which of these subsets correspond to principal congruences. In addition, it is proved that the variety of LM n×m -algebras is a discriminator variety and as a consequence, certain properties of the congruences are obtained. Finally, the number of congruences of a finite LM n×m -algebra is computed.
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Free Modal Pseudocomplemented De Morgan Algebras

100%
Figallo A. V., Oliva N., Ziliani A.
Bulletin of the Section of Logic
|
2018
|
tom 47
|
nr 2
EN
Modal pseudocomplemented De Morgan algebras (or mpM-algebras) were investigated in A. V. Figallo, N. Oliva, A. Ziliani, Modal pseudocomplemented De Morgan algebras, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Mathematica 53, 1 (2014), pp. 65–79, and they constitute a proper subvariety of the variety of pseudocomplemented De Morgan algebras satisfying xΛ(∼x)* = (∼(xΛ(∼x)*))* studied by H. Sankappanavar in 1987. In this paper the study of these algebras is continued. More precisely, new characterizations of mpM-congruences are shown. In particular, one of them is determined by taking into account an implication operation which is defined on these algebras as weak implication. In addition, the finite mpM-algebras were considered and a factorization theorem of them is given. Finally, the structure of the free finitely generated mpM-algebras is obtained and a formula to compute its cardinal number in terms of the number of the free generators is established. For characterization of the finitely-generated free De Morgan algebras, free Boole-De Morgan algebras and free De Morgan quasilattices see: [16, 17, 18].
3
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Congruences and Boolean filters of quasi-modular p-algebras

88%
El-Mohsen Badawy A., Shum K.
Discussiones Mathematicae - General Algebra and Applications
|
2014
|
tom 34
|
nr 1
109-123
EN
The concept of Boolean filters in p-algebras is introduced. Some properties of Boolean filters are studied. It is proved that the class of all Boolean filters BF(L) of a quasi-modular p-algebra L is a bounded distributive lattice. The Glivenko congruence Φ on a p-algebra L is defined by (x,y) ∈ Φ iff x** = y**. Boolean filters [Fₐ), a ∈ B(L) , generated by the Glivenko congruence classes Fₐ (where Fₐ is the congruence class [a]Φ) are described in a quasi-modular p-algebra L. We observe that the set $F_{B}(L) = {[Fₐ): a ∈ B(L)}$ is a Boolean algebra on its own. A one-one correspondence between the Boolean filters of a quasi-modular p-algebra L and the congruences in [Φ,∇] is established. Also some properties of congruences induced by the Boolean filters [Fₐ), a ∈ B(L) are derived. Finally, we consider some properties of congruences with respect to the direct products of Boolean filters.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.