|
Интеллектуальные системы. Теория и приложения, 2022, том 26, выпуск 2, страницы 62–84
(Mi ista407)
|
|
|
|
Часть 3. Математические модели
Кванторная выразимость в логике предикатов
Ю. С. Капустин мех.-мат. ф-т МГУ
Аннотация:
В математике новые понятия часто вводятся путем кванторных определений. При наличии достаточно большого запаса таких понятий они могут позволить переформулировать новые кванторные определения бескванторным образом. Это делает заслуживающей рассмотрения задачу отыскания базисных понятий в заданной предметной области, которые делают избыточным дальнейшее кванторное определение. В данной работе рассматривается кванторная выразимость небольшой глубины в 4 алгебраических системах. Были найдены базисы выразимости для небольшой глубины.
Ключевые слова:
логика предикатов, кванторная выразимость, алгебраическая система.
Образец цитирования:
Ю. С. Капустин, “Кванторная выразимость в логике предикатов”, Интеллектуальные системы. Теория и приложения, 26:2 (2022), 62–84
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista407 https://www.mathnet.ru/rus/ista/v26/i2/p62
|
Статистика просмотров: |
Страница аннотации: | 29 | PDF полного текста: | 2 | Список литературы: | 8 |
|