Implication algebras are 3-permutable and 3-distributive

From MaRDI portal
Publication:2553985

DOI10.1007/BF02944976zbMath0242.08005OpenAlexW2051328978MaRDI QIDQ2553985

Aleit Mitschke

Publication date: 1971

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02944976




Related Items (39)

Bjarni Jónsson's contributions in algebraExtensions of Algebraic SystemsFree-lattice functors weakly preserve epi-pullbacksConditions for permutability of congruences in implication algebrasOn the quasivariety of BCK-algebras and its subvarietiesGalois theory and a general notion of central extensionNear unanimity: An obstacle to general duality theoryVarieties of commutative residuated integral pomonoids and their residuation subreductsAlgebraic properties and dismantlability of finite posetsThe Jónsson distributivity spectrumFacets of congruence distributivity in Goursat categoriesCongruence varietiesA proof of Lyndon's finite basis theoremA new characterisation of Goursat categoriesVariations of the shifting lemma and Goursat categoriesInternal structures in \(n\)-permutable varietiesNatural extensions and profinite completions of algebrasRelations in operational categoriesVARIETIES WHOSE TOLERANCES ARE HOMOMORPHIC IMAGES OF THEIR CONGRUENCESSemidirect products and split short five lemma in normal categoriesApproximate Hagemann-Mitschke co-operationsRelation identities in 3-distributive varietiesCharacterizing Mal'cev conditionsOn \(n\)-permutable congruencesMV-algebras and quantum computationFinite equational bases for finite algebras in a congruence-distributive equational classNear unanimity identities and congruence distributivity in equational classesVarieties generated by finite BCK-algebrasCongruence-distributive polynomial reducts of latticesPrimitive Satisfaction and Equational Problems for Lattices and Other AlgebrasRechtskomplementäre Halbgruppen, Axiome, Polynome, KongruenzenFREGEAN VARIETIESRechtskomplementäre Halbgruppen. Axiome, Polynome, Kongruenzen. (Right- complementary semigroups. Axioms, polynomials, congruences)Mitschke's theorem is sharpA Mal'cev characterization of n-permutable varieties with directly decomposable congruencesIdeals in universal algebrasOn the Naturalness of Mal’tsev CategoriesSome remarks on Maltsev and Goursat categoriesCLONES CONTAINING MAL'TSEV OPERATIONS



Cites Work


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