En Ru
Вход
ISSN: 0137-0782
ISSN: 0137-0782
En Ru
Расширенный поиск
Импликативно неявные расширения систем одноместных функций в P3

Импликативно неявные расширения систем одноместных функций в P3

Скачать в формате PDF

Поступила: 14.01.2025

Принята к публикации: 27.01.2025

Ключевые слова: импликативно неявное расширение, трехзначная логика

DOI: 10.55959/MSU/0137–0782–15–2025–49–3–46–52

Для цитирования статьи

Марченков С.С. Импликативно неявные расширения систем одноместных функций в P3 // Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. 2025. № 3. С. 46-52 https://doi.org/10.55959/MSU/0137–0782–15–2025–49–3–46–52.

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция-Некоммерчески») 4.0 Всемирная
Номер 3, 2025
Марченков С.С. (Московский государственный университет им. М.В. Ломоносова (МГУ))

Аннотация

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

Литература

  1. К у з н е ц о в А. В. О средствах для обнаружения невыводимости и невыразимости // Логический вывод. М.: Наука, 1979. С. 5–33.

  2. К а с и м - З а д е О. М. О неявной выразимости булевых функций // Вестн. Моск. ун-та. Сер. 1. Матем., мех. 1995. № 2. С. 44–49.

  3. К а с и м - З а д е О. М. О неявной выразимости в двузначной логике и криптоизоморфизмах двух-элементных алгебр // Докл. АН. 1996. 348. № 3. С. 299–301.

  4. М а р ч е н к о в С. С. О неявных расширениях в многозначной логике // Дискрет. математика. 2023. 35. Вып. 2. С. 34–41.

  5. М а р ч е н к о в С. С. Неявная выразимость в многозначной логике // Вестн. Моск. ун-та. Сер. 15. Вычисл. матем. и киберн. 2022. № 3. С. 41–48.

  6. М а р ч е н к о в С. С. Позитивно замкнутые классы трехзначной логики // Дискрет. анализ и исслед. операций. 2014. 21. Вып. 1. С. 67–83.

  7. М а р ч е н к о в С. С. Расширения оператора позитивного замыкания с помощью логических связок // Дискрет. анализ и исслед. операций. 2018. 25. Вып. 4. С. 46–58.

  8. М а р ч е н к о в С. С. Об импликативно неявых расширениях в трехзначной логике // Вестн. Моск. ун-та. Сер. 15. Вычисл. матем. и киберн. 2024. № 1. С. 9–17.

  9. М а р ч е н к о в С.С. Импликативно неявные расширения двуместных симметрических функций в P3 // Дискрет. матем. 2024. 36. Вып. 3. С. 92–104.

  10. М а р ч е н к о в С. С. Задание импликативно неявных расширений с помощью реляционных систем // Математические вопросы кибернетики. Вып. 22. М.: ФИЗМАТЛИТ, 2024. С. 276–284.

  11. Г у р о в С. И. Булевы алгебры, упорядоченные множества, решетки. М.: КРАСАНД, 2012.