A complete logic for n-permutable congruence lattices

DOI10.1007/BF02483835MaRDI QIDQ1161547zbMATH OpenFDO

Authors 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 classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) General logic (03B99)

Cites work

• scientific article; zbMATH DE number 3115104 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3091018 (Why is no real title available?)
• On the Representation of Lattices by Modules
• On the representation of lattices

Cited in

(5)

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

This page was built for publication: A complete logic for n-permutable congruence lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1161547)