A complete logic for n-permutable congruence lattices

DOI10.1007/BF02483835zbMATH Open0479.08007MaRDI QIDQ1161547FDOQ1161547

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• On the representation of lattices
• Title not available (Why is that?)
• On the Representation of Lattices by Modules

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)