Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Discriminator varieties of double-Heyting algebras

Taylor C. J.

Reports on Mathematical Logic

2016

Vol. 51

3--14

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.