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

Main Article Content

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

Аннотация

В работе вводится операция добавления следствий над теориями и рассматриваются некоторые ее свойства. Приводятся некоторые свойства дедуктивных логик. Доказано, что теории всякой дедуктивной логики замкнуты относительно правила modus ponens. Введено понятие минимальной дедуктивной логики. Основными результатами работы являются: критерий сильной дедуктивности множества формул и доказательство того факта, что множество тавтологий минимальной дедуктивной логики совпадает с конъюнктивно-импликативным фрагментом интуиционистской логики.


DOI: 10.21146/2074-1472-2017-23-2-9-24

Скачивания

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

Article Details

Как цитировать
[1]
И. А. Горбунов. Дедуктивные логики и их связь с интуиционистской логикой // Логические исследования / Logical Investigations. 2018. Т. 23. № 2.
.
Раздел
Неклассические логики