Логика альтернативного отношения следования
##plugins.themes.bootstrap3.article.sidebar##
Published:
16.01.2007
##plugins.themes.bootstrap3.article.main##
Abstract
In the present paper we present the logic corresponding to our alternative definition of logical consequence. We prove soundness and completeness theorems for this logic.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Shalack V. Логика альтернативного отношения следования // Logicheskie Issledovaniya / Logical Investigations. 2007. VOL. 13. C. 286-304.
Issue
Section
Papers
References
Анисов А.М. Современная логика. М., 2002.
Булос Дж., Джеффри Р. Вычислимость и логика. Пер. с англ. М., Мир, 1994.
Смирнов В.А. Генетический метод построения научной теории // Логикофилософские руды В.А. Смирнова / под ред. В.И. Шалака. М.: Эдиториал УРСС, 2001.
Шалак В.И. Альтернативное определение логического следования // Логические исследования. Вып. 13. М.: Наука, 2007.
Булос Дж., Джеффри Р. Вычислимость и логика. Пер. с англ. М., Мир, 1994.
Смирнов В.А. Генетический метод построения научной теории // Логикофилософские руды В.А. Смирнова / под ред. В.И. Шалака. М.: Эдиториал УРСС, 2001.
Шалак В.И. Альтернативное определение логического следования // Логические исследования. Вып. 13. М.: Наука, 2007.