Congruence kernels of orthoimplication algebras.

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

The search session has expired. Please query the service again.

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: