Publication:4663636
From MaRDI portal
zbMath1079.08006MaRDI QIDQ4663636
Publication date: 4 April 2005
06D20: Heyting algebras (lattice-theoretic aspects)
08B05: Equational logic, Mal'tsev conditions
18C05: Equational categories
Related Items
Unnamed Item, Split exact sequences of finite MTL-chains, An Invitation to Topological Semi-abelian Algebras, Weakly Schreier extensions for general algebras, Semidirect products of (topological) semi-abelian algebras, Categorical (binary) difference terms and protomodularity, Topological semi-abelian algebras, Joins of subalgebras and normals in 0-regular varieties, Torsion theories and Galois coverings of topological groups, Ideals and clots in universal algebra and in semi-abelian categories, An axiomatic survey of diagram lemmas for non-abelian group-like structures, Torsion theories and coverings of preordered groups, Right-cancellable protomodular algebras, Intrinsic Schreier split extensions, The monads of classical algebra are seldom weakly Cartesian, Associativity-like conditions on protomodular algebras, On the second cohomology group in semi-abelian categories, Precrossed modules and Galois theory, Topological protomodular algebras, Further remarks on the ``Smith is Huq condition, Unnamed Item