Completeness theorem for the Evans logic of identities

zbMath1079.08007MaRDI QIDQ2575541

Mikhaĭl Sergeevich Sheremet

Publication date: 12 December 2005

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/51960

zbMATH Keywords

word problemPeano algebraidentities of partial algebras

Mathematics Subject Classification ID

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

Related Items (1)

A method to derive new Green's tensors for polar domains

This page was built for publication: Completeness theorem for the Evans logic of identities