Проблемы релевантной логики в работе в. А. Смирнова «формальный вывод и логические исчисления».

Abstract

Цель статьи состоит в изложении некоторых результатов, полученных в релевантной логике профессором Владимиром Александровичем Смирновым. При этом изложение опирается исключительно на книгу “Формальный вывод и логические исчисления” без обращения к другим работам В.А.Смирнова, в которых исследуется релевантная логика. Статья состоит из двух частей, в первой из которых воспроизводятся определения понятия вывода и формулировки теорем дедукции для импликативных релевантных логик, а во второй описывается одна из систем релевантной логики - абсолютная система, построенная в [1] .