Дедуктивные логики и их связь с интуиционистской логикой

Article Sidebar

PDF
Опубликован: 05.10.2017
DOI: https://doi.org/10.21146/2074-1472-2017-23-2-9-24
Ключевые слова:
теорема о дедукции, дедуктивные пропозициональные системы, сильно дедуктивное множество, интуиционистская логика

Main Article Content

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

Аннотация

В работе вводится операция добавления следствий над теориями и рассматриваются некоторые ее свойства. Приводятся некоторые свойства дедуктивных логик. Доказано, что теории всякой дедуктивной логики замкнуты относительно правила modus ponens. Введено понятие минимальной дедуктивной логики. Основными результатами работы являются: критерий сильной дедуктивности множества формул и доказательство того факта, что множество тавтологий минимальной дедуктивной логики совпадает с конъюнктивно-импликативным фрагментом интуиционистской логики.
DOI: 10.21146/2074-1472-2017-23-2-9-24

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Горбунов И. А. Дедуктивные логики и их связь с интуиционистской логикой // Логические исследования / Logical Investigations. 2017. Т. 23. № 2. C. 9-24.
Выпуск
Том 23 № 2 (2017)
Раздел
Статьи

Литература

Горбунов И.А. Хорошо определенные логики // Логические исследования. Вып. 17. М.; СПб.: ЦГИ, 2011. С. 95–108.
Горбунов И.А. Эффективный критерий дедуктивности множеств формул логики // Вестн. ТвГУ. Сер.: Прикладная математика. 2017. № 1. С. 107–115.
Расёва Е., Сикорский Р. Математика метаматематики. М: Наука, 1972. С. 214.
Chagrov A., Zakharyaschev M. Modal Logic. Oxford: Clarendon Press, 1997. P. 25–26.
Wojcicki R. Lectures on Propositional Calculi // www.studialogica.org/wojcicki (дата обращения: 01.06.2017)
Wojcicki R. Lectures on Propositional Calculi // Ossolineum. Wroclaw, 1984.