×

Completeness theorem for the Evans logic of identities. (Russian. English summary) Zbl 1079.08007

Summary: Relative to the notion of validity introduced by T. Evans [J. Lond. Math. Soc. 26, 64–71 (1951; Zbl 0042.03303)], a complete and sound set of inference rules is constructed for identities of partial algebras.

MSC:

08B05 Equational logic, Mal’tsev conditions
08A55 Partial algebras
03C05 Equational classes, universal algebra in model theory
08A50 Word problems (aspects of algebraic structures)

Citations:

Zbl 0042.03303
PDFBibTeX XMLCite
Full Text: EuDML