RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор
Подписка
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Дискрет. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Дискрет. матем., 1999, том 11, выпуск 4, страницы 110–126 (Mi dm400)  

Эта публикация цитируется в 19 научных статьях (всего в 19 статьях)

О выразимости функций многозначной логики в некоторых логико-функциональных языках

С. С. Марченков


Аннотация: При любом $k$, $k\ge2$, для множества функций $k$-значной логики вводятся три логико-функциональных языка: язык позитивной выразимости $\operatorname{Pos}_k$, язык первой ступени $1\operatorname{L}_k$ и язык второй ступени $2\operatorname{L}_k$. На основе понятия выразимости в языке определяются соответствующие операторы замыкания. Доказывается, что операторы $1\operatorname{L}_k$-замыкания и $2\operatorname{L}_k$-замыкания совпадают. $1\operatorname{L}_k$-замкнутые и $\operatorname{Pos}_k$-замкнутые классы характеризуются с помощью симметрических групп и симметрических полугрупп. Выразимость в языках $1\operatorname{L}_k$, $\operatorname{Pos}_k$ сравнивается с параметрической и термальной выразимостями.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 97–01–00989.

DOI: https://doi.org/10.4213/dm400

Полный текст: PDF файл (1957 kB)

Англоязычная версия:
Discrete Mathematics and Applications, 1999, 9:6, 563–581

Реферативные базы данных:

УДК: 519.7
Статья поступила: 05.11.1998

Образец цитирования: С. С. Марченков, “О выразимости функций многозначной логики в некоторых логико-функциональных языках”, Дискрет. матем., 11:4 (1999), 110–126; Discrete Math. Appl., 9:6 (1999), 563–581

Цитирование в формате AMSBIB
\RBibitem{Mar99}
\by С.~С.~Марченков
\paper О выразимости функций многозначной логики в~некоторых логико-функциональных языках
\jour Дискрет. матем.
\yr 1999
\vol 11
\issue 4
\pages 110--126
\mathnet{http://mi.mathnet.ru/dm400}
\crossref{https://doi.org/10.4213/dm400}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1761017}
\zmath{https://zbmath.org/?q=an:0974.03028}
\transl
\jour Discrete Math. Appl.
\yr 1999
\vol 9
\issue 6
\pages 563--581


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/dm400
  • https://doi.org/10.4213/dm400
  • http://mi.mathnet.ru/rus/dm/v11/i4/p110

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. С. С. Марченков, “Эквациональное замыкание”, Дискрет. матем., 17:2 (2005), 117–126  mathnet  crossref  mathscinet  zmath  elib; S. S. Marchenkov, “Equational closure”, Discrete Math. Appl., 15:3 (2005), 289–298  crossref
    2. Marchenkov S.S., “The equational closure operator”, Doklady Mathematics, 72:3 (2005), 962–963  zmath  isi  elib
    3. С. С. Марченков, “О строении эквационально замкнутых классов”, Дискрет. матем., 18:4 (2006), 18–30  mathnet  crossref  mathscinet  zmath  elib; S. S. Marchenkov, “On the structure of equationally closed classes”, Discrete Math. Appl., 16:6 (2006), 563–576  crossref
    4. С. С. Марченков, “Критерий позитивной полноты в трехзначной логике”, Дискретн. анализ и исслед. опер., сер. 1, сер. 1, 13:3 (2006), 27–39  mathnet  mathscinet  zmath; S. S. Marchenkov, “A criterion for positive completeness in ternary logic”, J. Appl. Industr. Math., 1:4 (2007), 481–488  crossref
    5. С. С. Марченков, “Дискриминаторные позитивно замкнутые классы трёхзначной логики”, Дискретн. анализ и исслед. опер., сер. 1, сер. 1, 14:3 (2007), 53–66  mathnet  mathscinet  zmath; J. Appl. Industr. Math., 2:4 (2008), 542–549  crossref
    6. Marchenkov, SS, “Strong closure operators on the set of partial Boolean functions”, Doklady Mathematics, 77:2 (2008), 288  crossref  mathscinet  zmath  isi  elib  scopus
    7. С. С. Марченков, “Позитивно замкнутые классы трехзначной логики, порождаемые одноместными функциями”, Дискрет. матем., 21:3 (2009), 37–44  mathnet  crossref  mathscinet  elib; S. S. Marchenkov, “Positively closed classes of three-valued logic generated by one-place functions”, Discrete Math. Appl., 19:4 (2009), 375–382  crossref
    8. С. С. Марченков, “О замкнутых классах функций $k$-значной логики, определяемых одним эндоморфизмом”, Дискретн. анализ и исслед. опер., 16:6 (2009), 52–67  mathnet  mathscinet  zmath
    9. С. С. Марченков, “Оператор замыкания в многозначной логике, базирующийся на функциональных уравнениях”, Дискретн. анализ и исслед. опер., 17:4 (2010), 18–31  mathnet  mathscinet  zmath; S. S. Marchenkov, “The closure operator in many-valued logic based on functional equations”, J. Appl. Industr. Math., 5:3 (2011), 383–390  crossref
    10. С. С. Марченков, “О классификациях функций многозначной логики с помощью групп автоморфизмов”, Дискретн. анализ и исслед. опер., 18:4 (2011), 66–76  mathnet  mathscinet  zmath
    11. Марченков С.С., “Fe-классификация функций многозначной логики”, Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, 2 (2011), 32–39  mathscinet  elib
    12. Марченков С.С., “Оператор позитивного замыкания”, Доклады Академии наук, 442:5 (2012), 598–598  crossref  mathscinet  zmath  isi  elib  scopus
    13. С. С. Марченков, “Атомы решетки позитивно замкнутых классов трехзначной логики”, Дискрет. матем., 24:2 (2012), 79–91  mathnet  crossref  mathscinet  elib; S. S. Marchenkov, “Atoms of the lattice of positively closed classes of three-valued logic”, Discrete Math. Appl., 22:2 (2012), 123–137  crossref
    14. С. С. Марченков, “Задание позитивно замкнутых классов посредством полугрупп эндоморфизмов”, Дискрет. матем., 24:4 (2012), 19–26  mathnet  crossref  mathscinet  elib; S. S. Marchenkov, “Definition of positively closed classes by endomorphism semigroups”, Discrete Math. Appl., 22:5-6 (2012), 511–520  crossref
    15. С. С. Марченков, “Позитивно замкнутые классы трëхзначной логики”, Дискретн. анализ и исслед. опер., 21:1 (2014), 67–83  mathnet  mathscinet; S. S. Marchenkov, “Positive closed classes in the three-valued logic”, J. Appl. Industr. Math., 8:2 (2014), 256–266  crossref  isi
    16. Л. В. Рябец, “Параметрически замкнутые классы гиперфункций ранга 2”, Известия Иркутского государственного университета. Серия Математика, 17 (2016), 46–61  mathnet
    17. С. С. Марченков, А. В. Чернышёв, “Основные позитивно замкнутые классы трехзначной логики”, Дискрет. матем., 29:2 (2017), 40–52  mathnet  crossref  elib; S. S. Marchenkov, A. V. Chernyshev, “Basic positively closed classes in three-valued logic”, Discrete Math. Appl., 28:3 (2018), 157–165  crossref  isi
    18. С. С. Марченков, “Критерий полноты для оператора замыкания по перечислению в трехзначной логике”, Дискрет. матем., 30:4 (2018), 47–54  mathnet  crossref  elib
    19. С. С. Марченков, “Расширения оператора позитивного замыкания с помощью логических связок”, Дискретн. анализ и исслед. опер., 25:4 (2018), 46–58  mathnet  crossref  elib; S. S. Marchenkov, “Extensions of the positive closure operator by using logical connectives”, J. Appl. Industr. Math., 12:4 (2018), 678–683  crossref
  • Дискретная математика
    Просмотров:
    Эта страница:875
    Полный текст:180
    Первая стр.:1

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019