|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
О логической эквивалентности функциональных клонов
А. Г. Пинус Новосибирский гос. технический университет, пр. К. Маркса, 20, Новосибирск 630092
Аннотация:
Изучаются отношения эквивалентности между функциональными клонами на фиксированных множествах, основанные на совпадении их бескванторно формульных подмножеств соответствующих универсальных алгебр.
Ключевые слова:
функциональный клон, бескванторно формульное множество универсальных алгебр, условный терм.
Статья поступила: 30.06.2016
Образец цитирования:
А. Г. Пинус, “О логической эквивалентности функциональных клонов”, Сиб. матем. журн., 58:4 (2017), 864–869; Siberian Math. J., 58:4 (2017), 672–675
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj2904 https://www.mathnet.ru/rus/smj/v58/i4/p864
|
Статистика просмотров: |
Страница аннотации: | 154 | PDF полного текста: | 37 | Список литературы: | 36 | Первая страница: | 6 |
|