On subtractive varieties II: General properties

DOI10.1007/BF01234106zbMath0902.08010MaRDI QIDQ1272207

Aldo Ursini, Paolo Agliano

Publication date: 24 November 1998

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

zbMATH Keywords

idealsubtractive varietyHamiltonian varietyequationally definable idealsideal extension property

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10)

Related Items (24)

Fregean subtractive varieties with definable congruence ⋮ Congruence quasi-orderability in subtractive varieties ⋮ The snail lemma in a pointed regular category ⋮ Unnamed Item ⋮ Boolean-like algebras ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Unnamed Item ⋮ Annihilators in universal algebras: a new approach ⋮ Split short five lemma for clots and subtractive categories ⋮ Joins and subdirect products of varieties ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Skew lattices and binary operations on functions ⋮ Alpha ideals and the space of prime alpha ideals in universal algebras ⋮ Duality in non-abelian algebra. III. Normal categories and 0-regular varieties ⋮ Quasi-discriminator varieties ⋮ MV-algebras and quantum computation ⋮ A Note on the Abelianization Functor ⋮ On subtractive weak Brouwerian semilattices ⋮ Residuated structures and orthomodular lattices ⋮ Quasi-subtractive varieties ⋮ $L-$fuzzy semi-prime ideals in universal algebras ⋮ Weakly algebraizable logics ⋮ Projectivity in (bounded) commutative integral residuated lattices ⋮ Subtractive categories

Cites Work

• Algebras in permutable varieties: Geometrical properties of affine algebras
• Ideals in universal algebras
• A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
• Uniform congruence schemes
• Varieties with equationally definable principal congruences
• On subtractive varieties. I
• A note on the congruence extension property
• Arithmeticity at 0
• Injectivity and related concepts in modular varieties: I. Two commutator properties
• Brouwerian Semilattices
• Principal Congruences of Pseudocomplemented Distributive Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On subtractive varieties II: General properties