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: 2

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

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

A Note on 3×3-valued Łukasiewicz Algebras with Negation

100%
Gallardo C., Ziliani A.
Bulletin of the Section of Logic
|
2021
|
tom 50
|
nr 3
289-298
EN
In 2004, C. Sanza, with the purpose of legitimizing the study of \(n\times m\)-valued Łukasiewicz algebras with negation (or \(\mathbf{NS}_{n\times m}\)-algebras) introduced \(3 \times 3\)-valued Łukasiewicz algebras with negation. Despite the various results obtained about \(\mathbf{NS}_{n\times m}\)-algebras, the structure of the free algebras for this variety has not been determined yet. She only obtained a bound for their cardinal number with a finite number of free generators. In this note we describe the structure of the free finitely generated \(NS_{3 \times 3}\)-algebras and we determine a formula to calculate its cardinal number in terms of the number of free generators. Moreover, we obtain the lattice \(\Lambda(\mathbf{NS}_{3\times 3})\) of all subvarieties of \(\mathbf{NS}_{3\times 3}\) and we show that the varieties of Boolean algebras, three-valued Łukasiewicz algebras and four-valued Łukasiewicz algebras are proper subvarieties of \(\mathbf{NS}_{3\times 3}\).  
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Free Modal Pseudocomplemented De Morgan Algebras

81%
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].
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ć.