Completeness theorem for the Evans logic of identities.
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only] (2004)
- Volume: 1, page 24-34
- ISSN: 1813-3304
Access Full Article
top
How to cite
topSheremet, M.S.. "Completeness theorem for the Evans logic of identities.." Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only] 1 (2004): 24-34. <http://eudml.org/doc/51960>.
@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 -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.