A complete logic for n-permutable congruence lattices

DOI10.1007/BF02483835zbMath0479.08007MaRDI QIDQ1161547

S. Singh

Publication date: 1981

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

zbMATH Keywords

completenesslattice of congruenceslattice identitiesuniversal Horn sentences

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Equational classes, universal algebra in model theory (03C05) General logic (03B99)

Related Items

Arguesian identities in the congruence variety of Abelian groups ⋮ Graphical operations on projective spaces ⋮ Geometric identities in lattice theory ⋮ Arguesian identities in linear lattices ⋮ Proof theory for linear lattices

Cites Work

• On the Representation of Lattices by Modules
• On the representation of lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item