М. С. Шеремет, “Основные семантики равенства на частичных алгебрах соответствуют базовым операторам”, Сиб. электрон. матем. изв., 2016, том 13,страницы 338

Математическая логика, алгебра и теория чисел

Основные семантики равенства на частичных алгебрах соответствуют базовым операторам

М. С. Шеремет^ab

^a Sobolev Institute of Mathematics, pr. Koptyuga, 4, 630090, Novosibirsk, Russia
^b Siberian Institute of Management RANEPA, ul. Nizhegorodskaya, 6, 630102, Novosibirsk, Russia

Аннотация: For partial algebras, we demonstrate a natural correspondence between the main semantics of equality and the basic operators of homomorphic images and sub-algebras.

Ключевые слова: partial algebras, semantics of equality.

УДК: 512.57

MSC: 08B05, 08A55

Поступила 6 ноября 2015 г., опубликована 10 мая 2016 г.

DOI: 10.17377/semi.2016.13.028