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

Tytuł pozycji:

Discriminator varieties of double-Heyting algebras

Szczegóły
Abstrakt

Tytuł:: Discriminator varieties of double-Heyting algebras
Autorzy:: Taylor, C. J.
Data publikacji:: 2016
Słowa kluczowe:: double-Heyting algebra
dual pseudocomplement
Heyting algebra with dual pseudocomplement
dually pseudocomplemented Heyting algebra
discriminator variety
semisimple algebra
EDPC
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

We prove that a variety of double-Heyting algebras is a discriminator variety if and only if it is semisimple if and only if it has equationally denable principal congruences. The result also applies to the class of Heyting algebras with a dual pseudocomplement operation and to the class of regular double p-algebras.

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę.

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

Informacja

Discriminator varieties of double-Heyting algebras