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

##plugins.themes.bootstrap3.article.main##

T.P. Dolgova
V.M. Popov

Abstract

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

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Смирнов В.А.Формальный вывод и логические исчисления. М., 1972.
Anderson A.R., Belnap N.D.Jr., Entailment: The Logic of Relevance and Necessity. Vol. 1. Princeton, 1975.
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967.

##plugins.generic.recommendByAuthor.heading##

1 2 3 > >>