Проблемы релевантной логики в работе в. А. Смирнова «формальный вывод и логические исчисления».
##plugins.themes.bootstrap3.article.main##
Abstract
Цель статьи состоит в изложении некоторых результатов, полученных в релевантной логике профессором Владимиром Александровичем Смирновым. При этом изложение опирается исключительно на книгу “Формальный вывод и логические исчисления” без обращения к другим работам В.А.Смирнова, в которых исследуется релевантная логика. Статья состоит из двух частей, в первой из которых воспроизводятся определения понятия вывода и формулировки теорем дедукции для импликативных релевантных логик, а во второй описывается одна из систем релевантной логики - абсолютная система, построенная в [1] .
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Dolgova T., Popov V. Проблемы релевантной логики в работе в. А. Смирнова «формальный вывод и логические исчисления». // Logicheskie Issledovaniya / Logical Investigations. 1997. VOL. 4. C. 79-93.
Issue
Section
Papers
References
Смирнов В.А.Формальный вывод и логические исчисления. М., 1972.
Anderson A.R., Belnap N.D.Jr., Entailment: The Logic of Relevance and Necessity. Vol. 1. Princeton, 1975.
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967.
Anderson A.R., Belnap N.D.Jr., Entailment: The Logic of Relevance and Necessity. Vol. 1. Princeton, 1975.
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967.