Implication algebras are 3-permutable and 3-distributive
From MaRDI portal
Publication:2553985
DOI10.1007/BF02944976zbMath0242.08005OpenAlexW2051328978MaRDI QIDQ2553985
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 algebra ⋮ Extensions of Algebraic Systems ⋮ Free-lattice functors weakly preserve epi-pullbacks ⋮ Conditions for permutability of congruences in implication algebras ⋮ On the quasivariety of BCK-algebras and its subvarieties ⋮ Galois theory and a general notion of central extension ⋮ Near unanimity: An obstacle to general duality theory ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Algebraic properties and dismantlability of finite posets ⋮ The Jónsson distributivity spectrum ⋮ Facets of congruence distributivity in Goursat categories ⋮ Congruence varieties ⋮ A proof of Lyndon's finite basis theorem ⋮ A new characterisation of Goursat categories ⋮ Variations of the shifting lemma and Goursat categories ⋮ Internal structures in \(n\)-permutable varieties ⋮ Natural extensions and profinite completions of algebras ⋮ Relations in operational categories ⋮ VARIETIES WHOSE TOLERANCES ARE HOMOMORPHIC IMAGES OF THEIR CONGRUENCES ⋮ Semidirect products and split short five lemma in normal categories ⋮ Approximate Hagemann-Mitschke co-operations ⋮ Relation identities in 3-distributive varieties ⋮ Characterizing Mal'cev conditions ⋮ On \(n\)-permutable congruences ⋮ MV-algebras and quantum computation ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ Near unanimity identities and congruence distributivity in equational classes ⋮ Varieties generated by finite BCK-algebras ⋮ Congruence-distributive polynomial reducts of lattices ⋮ Primitive Satisfaction and Equational Problems for Lattices and Other Algebras ⋮ Rechtskomplementäre Halbgruppen, Axiome, Polynome, Kongruenzen ⋮ FREGEAN VARIETIES ⋮ Rechtskomplementäre Halbgruppen. Axiome, Polynome, Kongruenzen. (Right- complementary semigroups. Axioms, polynomials, congruences) ⋮ Mitschke's theorem is sharp ⋮ A Mal'cev characterization of n-permutable varieties with directly decomposable congruences ⋮ Ideals in universal algebras ⋮ On the Naturalness of Mal’tsev Categories ⋮ Some remarks on Maltsev and Goursat categories ⋮ CLONES CONTAINING MAL'TSEV OPERATIONS
Cites Work
- Unnamed Item
- Unnamed Item
- Kongruenzklassengeometrien
- Algebras Whose Congruence Lattices are Distributive.
- A Characterization of Modularity for Congruence Lattices of Algebras*
- Two Mal'cev-type theorems in universal algebra
- Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
- On the representation of lattices
This page was built for publication: Implication algebras are 3-permutable and 3-distributive