Пинус А. Г.
О логической эквивалентности функциональных клонов

Изучаются отношения эквивалентности между функциональными клонами на фиксированных множествах, основанные на совпадении их бескванторно формульных подмножеств соответствующих универсальных алгебр.

A. G. Pinus
On the logical equivalence of functional clones

We study the equivalence relations between functional clones which are based on the coincidence of their quantifier-free formal subsets of the corresponding universal algebras.

DOI 10.17377/smzh.2017.58.413
Ключевые слова: функциональный клон, бескванторно формульное множество универсальных алгебр, условный терм.

Полный текст статьи / Full texts:

• PDF file