Логика альтернативного отношения следования

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

V.I. Shalack

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##

Section
Papers

References

Анисов А.М. Современная логика. М., 2002.
Булос Дж., Джеффри Р. Вычислимость и логика. Пер. с англ. М., Мир, 1994.
Смирнов В.А. Генетический метод построения научной теории // Логикофилософские руды В.А. Смирнова / под ред. В.И. Шалака. М.: Эдиториал УРСС, 2001.
Шалак В.И. Альтернативное определение логического следования // Логические исследования. Вып. 13. М.: Наука, 2007.