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

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

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


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




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

Математические заметки, 2021, том 110, выпуск 6, страницы 856–864
DOI: https://doi.org/10.4213/mzm12469 (Mi mzm12469) 		 
Теории классической пропозициональной логики и подстановка

И. А. Горбунов

Тверской государственный университет
PDF полного текста (547 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/mzm12469
Аннотация: В силу леммы Сушко для любой пропозициональной логики верно, что при любой подстановке прообраз множества всех тавтологий этой логики является ее теорией. Рассмотрен вопрос о взаимоотношении между множеством всех таких прообразов и множеством всех теорий для классической пропозициональной логики. Доказано, что любая непротиворечивая теория классической логики является прообразом множества всех тождественно истинных формул при некоторой подстановке. Предъявлен алгоритм, строящий такую подстановку для любой непротиворечивой конечно-аксиоматизируемой теории.
Библиография: 4 названия.
Ключевые слова: теории классической пропозициональной логики, обращение подстановки.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 17-03-00818-ОГН
18-011-00869-а
Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (гранты №№ 17-03-00818-ОГН и 18-011-00869-а).
Поступило: 08.06.2019
Исправленный вариант: 15.07.2021
Англоязычная версия:
Mathematical Notes, 2021, Volume 110, Issue 6, Pages 887–893
DOI: https://doi.org/10.1134/S0001434621110249
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.633
Образец цитирования: И. А. Горбунов, “Теории классической пропозициональной логики и подстановка”, Матем. заметки, 110:6 (2021), 856–864; Math. Notes, 110:6 (2021), 887–893
Цитирование в формате AMSBIB
\RBibitem{Gor21}
\by И.~А.~Горбунов
\paper Теории классической пропозициональной логики и подстановка
\jour Матем. заметки
\yr 2021
\vol 110
\issue 6
\pages 856--864
\mathnet{http://mi.mathnet.ru/mzm12469}
\crossref{https://doi.org/10.4213/mzm12469}
\elib{https://elibrary.ru/item.asp?id=47545660}
\transl
\jour Math. Notes
\yr 2021
\vol 110
\issue 6
\pages 887--893
\crossref{https://doi.org/10.1134/S0001434621110249}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000730355100024}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85121365914}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm12469
  • https://doi.org/10.4213/mzm12469
  • https://www.mathnet.ru/rus/mzm/v110/i6/p856
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
    Статистика просмотров:
    Страница аннотации:256
    PDF полного текста:33
    Список литературы:23
    Первая страница:8
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024