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

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

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


Вестн. Моск. ун-та. Сер. 1. Матем., мех.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Вестник Московского университета. Серия 1: Математика. Механика, 2023, номер 6, страницы 52–55
DOI: https://doi.org/10.55959/MSU0579-9368-1-64-6-7 (Mi vmumm4579) 		 
Математика

Нормализация термов в точных моделях логики доказательств LP

В. Н. Крупский

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
PDF полного текста (230 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.55959/MSU0579-9368-1-64-6-7
Аннотация: Базисная модель логики свидетельств является точной, если конструкторы свидетельских термов $\cdot, +, !$ в модели интерпретируются в точности в соответствии с их неформальным пониманием как применение правила modus ponens, объединение и верификация свидетельств. В статье строится пример точной базисной модели для логики доказательств LP и доказывается, что в точных моделях LP каждый терм эквивалентен некоторому полиному доказательств.
Ключевые слова: эпистемическая логика, логика доказательств, базисная модель логики свидетельств, свойство точности, полином доказательств.
Поступила в редакцию: 07.04.2023
Англоязычная версия:
Moscow University Mathematics Bulletin, 2023, Volume 78, Issue 6, Pages 309–312
DOI: https://doi.org/10.3103/S0027132223060049
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.649
Образец цитирования: В. Н. Крупский, “Нормализация термов в точных моделях логики доказательств LP”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2023, № 6, 52–55; Moscow University Mathematics Bulletin, 78:6 (2023), 309–312
Цитирование в формате AMSBIB
\RBibitem{Kru23}
\by В.~Н.~Крупский
\paper Нормализация термов в точных моделях логики доказательств {\sf LP}
\jour Вестн. Моск. ун-та. Сер.~1. Матем., мех.
\yr 2023
\issue 6
\pages 52--55
\mathnet{http://mi.mathnet.ru/vmumm4579}
\crossref{https://doi.org/10.55959/MSU0579-9368-1-64-6-7}
\elib{https://elibrary.ru/item.asp?id=58422765}
\transl
\jour Moscow University Mathematics Bulletin
\yr 2023
\vol 78
\issue 6
\pages 309--312
\crossref{https://doi.org/10.3103/S0027132223060049}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vmumm4579
  • https://www.mathnet.ru/rus/vmumm/y2023/i6/p52
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:39
    PDF полного текста:29
    Список литературы:9
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024