Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Discriminator varieties of Boolean algebras with residuated operators

100%

Jipsen P.

Banach Center Publications

1993

tom 28

nr 1

239-252

The theory of discriminator algebras and varieties has been investigated extensively, and provides us with a wealth of information and techniques applicable to specific examples of such algebras and varieties. Here we give several such examples for Boolean algebras with a residuated binary operator, abbreviated as r-algebras. More specifically, we show that all finite r-algebras, all integral r-algebras, all unital r-algebras with finitely many elements below the unit, and all commutative residuated monoids are discriminator algebras, provided they are subdirectly irreducible. These results are then used to give equational bases for some varieties of r-algebras. We also show that the variety of all residuated Boolean monoids is not a discriminator variety, which answers a question of B. Jónsson.

Ograniczanie wyników

1 Banach Center Publications

1 Jipsen P.

1 1993

Wyniki wyszukiwania

Discriminator varieties of Boolean algebras with residuated operators