Displaying similar documents to “Subdirect decompositions of algebras from 2-clone extensions of varieties”

Discriminator varieties of Boolean algebras with residuated operators

Peter Jipsen (1993)

Banach Center Publications

Similarity:

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...

Equimorphy in varieties of double Heyting algebras

V. Koubek, J. Sichler (1998)

Colloquium Mathematicae

Similarity:

We show that any finitely generated variety V of double Heyting algebras is finitely determined, meaning that for some finite cardinal n(V), any class 𝒮 ⊆ V consisting of algebras with pairwise isomorphic endomorphism monoids has fewer than n(V) pairwise non-isomorphic members. This result complements the earlier established fact of categorical universality of the variety of all double Heyting algebras, and contrasts with categorical results concerning finitely generated varieties of...

On connections between information systems, rough sets and algebraic logic

Stephen Comer (1993)

Banach Center Publications

Similarity:

In this note we remark upon some relationships between the ideas of an approximation space and rough sets due to Pawlak ([9] and [10]) and algebras related to the study of algebraic logic - namely, cylindric algebras, relation algebras, and Stone algebras. The paper consists of three separate observations. The first deals with the family of approximation spaces induced by the indiscernability relation for different sets of attributes of an information system. In [3] the family of closure...

Dual commutative hyper K-ideals of type 1 in hyper K-algebras of order 3.

L. Torkzadeh, M. M. Zahedi (2006)

Mathware and Soft Computing

Similarity:

In this note we classify the bounded hyper K-algebras of order 3, which have D = {1}, D = {1,2} and D = {0,1} as a dual commutative hyper K-ideal of type 1. In this regard we show that there are such non-isomorphic bounded hyper K-algebras.

Weak products of universal algebras

Ildikó Sain (1993)

Banach Center Publications

Similarity:

Weak direct products of arbitrary universal algebras are introduced. The usual notion for groups and rings is a special case. Some universal algebraic properties are proved and applications to cylindric and polyadic algebras are considered.