Loading [MathJax]/jax/output/SVG/config.js
Вестник Тверского государственного университета. Серия: Прикладная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов
Загрузить рукопись

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

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



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






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


Вестник Тверского государственного университета. Серия: Прикладная математика, 2017, выпуск 1, страницы 95–103
DOI: https://doi.org/10.26456/vtpmk126
(Mi vtpmk126)
 

Теоретические основы информатики

Эффективный критерий дедуктивности множеств формул логики

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

Тверской государственный университет, г. Тверь
Список литературы:
Аннотация: Р. Вуйцицкий ввёл понятие хорошо определённой (well-determined) логики [1]. Пропозициональная логика называется хорошо определённой, если она обладает свойством конъюнкции и для неё верна теорема о дедукции. Хорошо определённые логики интересны тем, что присущее им отношение логического следования некоторым образом выразимо средствами самой логики. Следует отметить, что Р. Вуйцицкий в качестве критерия дедуктивности множества формул использовал условие принадлежности к тестируемому множеству некоторого бесконечного множества формул. Таким образом, приведённый им критерий дедуктивности не был эффективным (алгоритмичным). В данной работе доказаны теоремы, являющиеся эффективными критериями дедуктивности множеств формул пропозициональных логик в языках, содержащих связки импликации и конъюнкции. Также доказана конечная аксиоматизируемость минимальных дедуктивных множеств в языках хорошо определённых логик.
Ключевые слова: хорошо определённая логика, дедуктивное множество.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 14-06-00298-a
16-07-01272-a
Работа выполнена при финансовой поддержке РФФИ (проекты № 14-06-00298-a и № 16-07-01272-a).
Поступила в редакцию: 02.12.2016
Исправленный вариант: 25.01.2017
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.52, 510.643
Образец цитирования: И. А. Горбунов, “Эффективный критерий дедуктивности множеств формул логики”, Вестник ТвГУ. Серия: Прикладная математика, 2017, № 1, 95–103
Цитирование в формате AMSBIB
\RBibitem{Gor17}
\by И.~А.~Горбунов
\paper Эффективный критерий дедуктивности множеств формул логики
\jour Вестник ТвГУ. Серия: Прикладная математика
\yr 2017
\issue 1
\pages 95--103
\mathnet{http://mi.mathnet.ru/vtpmk126}
\crossref{https://doi.org/10.26456/vtpmk126}
\elib{https://elibrary.ru/item.asp?id=28786650}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vtpmk126
  • https://www.mathnet.ru/rus/vtpmk/y2017/i1/p95
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Вестник Тверского государственного университета. Серия: Прикладная математика
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024