Open AccessДедуктивные логики и их связь с интуиционистской логикой
Author(s) -
Igor Anatolievich Gorbunov
Publication year - 2017
Publication title -
logičeskie issledovaniâ
Language(s) - Russian
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2017-23-2-9-24
Subject(s) - modus ponens , philosophy , mathematics , linguistics , fuzzy logic
В работе вводится операция добавления следствий над теориями и рассматриваются некоторые ее свойства. Приводятся некоторые свойства дедуктивных логик. Доказано, что теории всякой дедуктивной логики замкнуты относительно правила modus ponens. Введено понятие минимальной дедуктивной логики. Основными результатами работы являются: критерий сильной дедуктивности множества формул и доказательство того факта, что множество тавтологий минимальной дедуктивной логики совпадает с конъюнктивно-импликативным фрагментом интуиционистской логики.DOI: 10.21146/2074-1472-2017-23-2-9-24