Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
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

The Słupecki criterion by duality

100%
EN
A method is presented for proving primality and functional completeness theorems, which makes use of the operation-relation duality. By the result of Sierpiński, we have to investigate relations generated by the two-element subsets of $A^{k}$ only. We show how the method applies for proving Słupecki's classical theorem by generating diagonal relations from each pair of k-tuples.
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

A scheme for congruence semidistributivity

63%
EN
A diagrammatic statement is developed for the generalized semidistributive law in case of single algebras assuming that their congruences are permutable. Without permutable congruences, a diagrammatic statement is developed for the ∧-semidistributive law.
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ć.