RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive
Sib. Èlektron. Mat. Izv., 2004 Volume 1, Pages 24–34 (Mi semr2)
This article is cited in 2 papers

Research papers

A completeness theorem for the Evans logic of identities

M. S. Sheremet

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Abstract: A complete and sound, relative to the notion of validity introduced by T. Evans, set of inference rules is constructed for identities of partial algebras.

UDC: 510.64, 512.57

MSC: 08B05, 08A55

Received May 27, 2004, published September 16, 2004



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024