|
Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports], 2004, Volume 1, Pages 24–34
(Mi semr2)
|
|
|
|
This article is cited in 2 scientific papers (total 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.
Received May 27, 2004, published September 16, 2004
Citation:
M. S. Sheremet, “A completeness theorem for the Evans logic of identities”, Sib. Èlektron. Mat. Izv., 1 (2004), 24–34
Linking options:
https://www.mathnet.ru/eng/semr2 https://www.mathnet.ru/eng/semr/v1/p24
|
Statistics & downloads: |
Abstract page: | 165 | Full-text PDF : | 37 | References: | 39 |
|