Protologic and its structure

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

V. I. Shalack

Abstract

The article sets out a generalization of logical to the level of operating signs.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика. М.: Мир, 1985. 606 с.
Бенвенист Э. Категории мысли и категории языка // Общая лингвистика. Благовещенск: БГК им. И.А. Бодуэна де Куртенэ, 1998. С. 104–114.
Моррис Ч.У. Основания теории знаков // Семиотика. Том 1. Благовещенск: БГК им. И.А. Бодуэна де Куртенэ, 1998. С. 36–88.
Начала Евклида. Книги I-VI. ОГИЗ, Москва-Ленинград, 1948.
Пирс Ч.С. Избранные философские произведения. Пер. с англ. М.: Логос, 2000.
Шалак В.И. Протологика: новый взгляд на природу логического // Дисс.. . . докт. филос. наук. М., 2010.
Шалак В.И. Логический анализ дефинициальной дедукции // Логические исследования. Вып.15. М.: Наука. С. 266–283.
Шейнфинкель М.И. О кирпичах математической логики // Логические исследования. Вып.15. М.: Наука. С. 232–246.
Church A. The Calculi of Lambda-Conversion // Annals of Mathematical Studies. 1941, № 6. 82 p.
Curry H.B., Feys R. Combinatory Logic. V.1. Amsterdam, 1958.
Shalack V.I. Semiotic foundations of logic // Logical Investigations. 2013. Issue 19. P. 225–237.