Sheremet, M. S. Completeness theorem for the Evans logic of identities. (Russian. English summary) Zbl 1079.08007 Sib. Èlektron. Mat. Izv. 1, 24-34 (2004). 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. Cited in 1 Document 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) Keywords:word problem; Peano algebra; identities of partial algebras Citations:Zbl 0042.03303 PDFBibTeX XMLCite \textit{M. S. Sheremet}, Sib. Èlektron. Mat. Izv. 1, 24--34 (2004; Zbl 1079.08007) Full Text: EuDML