Congruence kernels of orthoimplication algebras.

Chajda, I.; Halaš, R.; Länger, H.

Displaying similar documents to “Congruence kernels of orthoimplication algebras.”

On some classes of good quotient relations.

Bošnjak, Ivica, Madarász, Rozália (2002)

Novi Sad Journal of Mathematics

Similarity:

On subdirectly irreducible Steiner loops of cardinality $2 n$ .

Armanious, Magdi H. (2002)

Beiträge zur Algebra und Geometrie

Similarity:

Separation properties in congruence lattices of lattices

Miroslav Ploščica (2000)

Colloquium Mathematicae

Similarity:

We investigate the congruence lattices of lattices in the varieties $ℳ_{n}$ . Our approach is to represent congruences by open sets of suitable topological spaces. We introduce some special separation properties and show that for different n the lattices in $ℳ_{n}$ have different congruence lattices.

Relatively pseudocomplemented directoids

Ivan Chajda (2009)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The concept of relative pseudocomplement is introduced in a commutative directoid. It is shown that the operation of relative pseudocomplementation can be characterized by identities and hence the class of these algebras forms a variety. This variety is congruence weakly regular and congruence distributive. A description of congruences via their kernels is presented and the kernels are characterized as the so-called $p$ -ideals.

Weak congruence identities at 0.

Chajda, Ivan, Šešelja, Branimir, Tepavčević, Andreja (2002)

Novi Sad Journal of Mathematics

Similarity:

On $n$ -permutable and distributive at 0 varieties.

Chajda, I. (1999)

Acta Mathematica Universitatis Comenianae. New Series

Similarity:

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

Some simple extensions of Eulerian lattices.

Vethamanickam, A., Subbarayan, R. (2010)

Acta Mathematica Universitatis Comenianae. New Series

Similarity:

On the subsemilattices of first-order definable and openly first-order definable congruences of the congruence lattice of a universal algebra.

Pinus, A.G. (2006)

Sibirskij Matematicheskij Zhurnal

Similarity:

Special congruence triples for a regular semigroup.

Petrich, Mario (2011)

Acta Mathematica Universitatis Comenianae. New Series

Similarity: