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

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

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



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






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


Фундамент. и прикл. матем., 2002, том 8, выпуск 3, страницы 783–828 (Mi fpm678)  

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

Начала конструктивной теории моделей

В. Е. Плиско

Московский государственный университет им. М. В. Ломоносова

Аннотация: Обобщённый предикат определяется как функция на множестве натуральных чисел $\mathbf N$, значениями которой являются подмножества $\mathbf N$, трактуемые как множества “реализаций” высказываний. Логические операции над обобщёнными предикатами основываются на идеях рекурсивной реализуемости. На основе понятия обобщённого предиката вводится понятие обобщённой алгебраической системы. Определяются понятия конструктивной истинности в нумерованной алгебраической системе и в произвольной счётной алгебраической системе. Доказывается, что соответствующие этим семантикам отношения логического следования не обладают свойством компактности, а множество логических тавтологий является $\Pi_1^1$-полным. Исследуются вопросы аксиоматизируемости классов алгебраических систем в языках с конструктивной семантикой.

Ключевые слова: конструктивная логика, реализуемость, алгебраическая система, теория моделей

Полный текст: PDF файл (2148 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:
УДК: 510.64+510.67
Поступила в редакцию: 01.10.1999

Образец цитирования: В. Е. Плиско, “Начала конструктивной теории моделей”, Фундамент. и прикл. матем., 8:3 (2002), 783–828

Цитирование в формате AMSBIB
\RBibitem{Pli02}
\by В.~Е.~Плиско
\paper Начала конструктивной теории моделей
\jour Фундамент. и прикл. матем.
\yr 2002
\vol 8
\issue 3
\pages 783--828
\mathnet{http://mi.mathnet.ru/fpm678}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1971877}
\zmath{https://zbmath.org/?q=an:1048.03029}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/fpm678
  • http://mi.mathnet.ru/rus/fpm/v8/i3/p783

    ОТПРАВИТЬ: 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. В. Е. Плиско, “Обзор предикатной логики реализуемости”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 222–251  mathnet  mathscinet  elib; Valerii E. Plisko, “A survey of predicate realizability logic”, Proc. Steklov Inst. Math., 274 (2011), 204–230  crossref  isi  elib
  • Фундаментальная и прикладная математика
    Просмотров:
    Эта страница:256
    Полный текст:108
    Литература:28
    Первая стр.:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020