RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретная математика
Дискрет. матем., 2005, том 17, выпуск 2, страницы 117–126 (Mi dm103)
Эквациональное замыкание
С. С. Марченков

Список литературы
1. Боднарчук В. Г., Калужнин Л. А., Котов В. Н., Ромов Б. А., “Теория Галуа для алгебр Поста”, Кибернетика, 3 (1969), 1–10  zmath; 5, 1–9  zmath
2. Голунков Ю. В., “Полнота систем функций в операторных алгоритмах, реализующих функции $k$-значной логики”, Вероятностные методы и кибернетика, 1980, № 17, 23–34  mathscinet  zmath
3. Данильченко А. Ф., “О параметрической выразимости функций трехзначной логики”, Алгебра и логика, 16:4 (1977), 397–416  mathnet  mathscinet
4. Клини С. К., Введение в метаматематику, ИЛ, Москва, 1957
5. Кон П., Универсальная алгебра, Мир, Москва, 1968  mathscinet
6. Кузнецов А. В., “О средствах для обнаружения невыводимости и невыразимости”, Логический вывод, Наука, Москва, 1979, 5–33
7. Марченков С. С., “Однородные алгебры”, Проблемы киберн., 39 (1982), 85–106  mathscinet  zmath
8. Марченков С. С., “Клоновая классификация дуально дискриминаторных алгебр с конечным носителем”, Матем. заметки, 61:3 (1997), 359–366  mathnet  mathscinet  zmath
9. Марченков С. С., “$S$-классификация функций многозначной логики”, Дискретная математика, 9:3 (1997), 125–152  mathnet  mathscinet  zmath
10. Марченков С. С., “$A$-классификация функций многозначной логики”, Докл. РАН, 366:4 (1999), 455–457  mathnet  mathscinet  zmath
11. Марченков С. С., “О выразимости функций многозначной логики в некоторых логико-функциональных языках”, Дискретная математика, 11:4 (1999), 110–126  mathnet  mathscinet  zmath
12. Марченков С. С., Замкнутые классы булевых функций, Физматлит, Москва, 2000  mathscinet  zmath
13. Марченков С. С., $S$-классификация функций трехзначной логики, Физматлит, Москва, 2001
14. Марченков С. С., Вестник МГУ. Серия 1. Математика, механика, 2003, № 6, 37–39  mathnet  mathscinet  zmath
15. Нгуен Ван Хоа, “О структуре самодвойственных замкнутых классов трехзначной логики $P_3$”, Дискретная математика, 4:4 (1992), 82–95  mathnet  mathscinet
16. Нгуен Ван Хоа, “О семействах замкнутых классов $k$-значной логики, сохраняемых всеми автоморфизмами”, Дискретная математика, 1993, № 4, 87–108  mathnet  mathscinet  zmath
17. Нгуен Ван Хоа, “О замкнутых классах $k$-значной логики, самодвойственных относительно транзитивных групп”, Дискретная математика, 8:1 (1998), 129–156  mathnet  mathscinet
18. Соловьев В. Д., “Замкнутые классы в $k$-значной логике с операцией разветвления по предикату”, Дискретная математика, 2:4 (1990), 19–25  mathnet  mathscinet
19. Тайманов В. А., “О функциональных системах $k$-значной логики с операциями программного типа”, Докл. АН СССР, 268:6 (1983), 1307–1310  mathnet  mathscinet  zmath
20. Яблонский С. В., “Функциональные построения в $k$-значной логике”, Тр. МИАН, 51, 1958, 5–142  mathnet  zmath
21. Яблонский С. В., Введение в дискретную математику, Наука, Москва, 1986  mathscinet
22. Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б., Функции алгебры логики и классы Поста, Наука, Москва, 1966  mathscinet  zmath
23. Янов Ю. И., Мучник А. А., “О существовании $k$-значных замкнутых классов, не имеющих конечного базиса”, Докл. АН СССР, 127:1 (1959), 44–46  zmath
24. Barris S., Willard R., “Finitely many primitive positive clones”, Proc. Amer. Math. Soc., 101:3 (1987), 427–430  crossref  mathscinet
25. Marczewski E., “Homogeneous operations and homogeneous algebras”, Fund. Math., 56:2 (1964), 81–103  mathscinet  zmath
26. Post E. L., “Introduction to a general theory of elementary propositions”, Amer. J. Math., 43 (1921), 163–185  crossref  mathscinet  zmath
27. Post E. L., The two-valued iterative systems of mathematical logic, Princeton Univ. Press, Princeton, NJ, 1941  mathscinet  zmath
28. Rosenberg I. G., “Über die funktionale Vollständigkeit in den mehrwertigen Logiken”, Rozpravy Českosl. Acad. Věd., Ř. Mat. Přír. Věd., 80:4 (1970), 3–93  mathscinet

© МИАН, 2025