М. С. Шеремет, “Теорема полноты для логики тождеств Эванса”, Сиб. электрон. матем. изв., 2004, том 1,страницы 24

Эта публикация цитируется в 2 статьях

Статьи

Теорема полноты для логики тождеств Эванса

М. С. Шеремет

Институт математики им. С. Л. Соболева СО РАН

Аннотация: 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.

УДК: 510.64, 512.57

MSC: 08B05, 08A55

Поступила 27 мая 2004 г., опубликована 16 сентября 2004 г.