Completeness theorem for the Evans logic of identities.

@article{Sheremet2004,
author = {Sheremet, M.S.},
journal = {Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]},
keywords = {word problem; Peano algebra; identities of partial algebras},
language = {eng},
pages = {24-34},
publisher = {Institut Matematiki Im. S.L. Soboleva, SO RAN},
title = {Completeness theorem for the Evans logic of identities.},
url = {http://eudml.org/doc/51960},
volume = {1},
year = {2004},
}

TY - JOUR
AU - Sheremet, M.S.
TI - Completeness theorem for the Evans logic of identities.
JO - Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
PY - 2004
PB - Institut Matematiki Im. S.L. Soboleva, SO RAN
VL - 1
SP - 24
EP - 34
LA - eng
KW - word problem; Peano algebra; identities of partial algebras
UR - http://eudml.org/doc/51960
ER -