Implication algebras are 3-permutable and 3-distributive

Cites Work

A Characterization of Modularity for Congruence Lattices of Algebras*
Algebras Whose Congruence Lattices are Distributive.
On the representation of lattices
Title not available (Why is that?)
Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
Two Mal'cev-type theorems in universal algebra
Kongruenzklassengeometrien
Title not available (Why is that?)

Cited In (41)

Finite equational bases for finite algebras in a congruence-distributive equational class
Near unanimity identities and congruence distributivity in equational classes
Conditions for permutability of congruences in implication algebras
Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
MV-algebras and quantum computation
Rechtskomplementäre Halbgruppen, Axiome, Polynome, Kongruenzen
Facets of congruence distributivity in Goursat categories
A proof of Lyndon's finite basis theorem
Relation identities in 3-distributive varieties
Some remarks on Maltsev and Goursat categories
Semidirect products and split short five lemma in normal categories
FREGEAN VARIETIES
Varieties whose tolerances are homomorphic images of their congruences
Ideals in universal algebras
Free-lattice functors weakly preserve epi-pullbacks
Varieties defined by basic equations have the amalgamation property
Extensions of Algebraic Systems
Characterizing Mal'cev conditions
A new characterisation of Goursat categories
Varieties generated by finite BCK-algebras
CLONES CONTAINING MAL'TSEV OPERATIONS
The Jónsson distributivity spectrum
Near unanimity: An obstacle to general duality theory
Internal structures in \(n\)-permutable varieties
Galois theory and a general notion of central extension
Congruence varieties
Algebraic properties and dismantlability of finite posets
Bjarni Jónsson's contributions in algebra
Natural extensions and profinite completions of algebras
On the quasivariety of BCK-algebras and its subvarieties
Variations of the shifting lemma and Goursat categories
A Mal'cev characterization of n-permutable varieties with directly decomposable congruences
Mitschke's theorem is sharp
Varieties of commutative residuated integral pomonoids and their residuation subreducts
On the naturalness of Mal'tsev categories
Approximate Hagemann-Mitschke co-operations
Congruence-distributive polynomial reducts of lattices
On \(n\)-permutable congruences
Rechtskomplementäre Halbgruppen. Axiome, Polynome, Kongruenzen. (Right- complementary semigroups. Axioms, polynomials, congruences)
Relations in operational categories
Categorical aspects of congruence distributivity

This page was built for publication: Implication algebras are 3-permutable and 3-distributive

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2553985)