Protologic and its structure
##plugins.themes.bootstrap3.article.sidebar##
Published:
08.05.2014
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Shalack V. I. Protologic and its structure // Logicheskie Issledovaniya / Logical Investigations. 2014. VOL. 20. C. 196-210.
Issue
Section
Papers
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.
Бенвенист Э. Категории мысли и категории языка // Общая лингвистика. Благовещенск: БГК им. И.А. Бодуэна де Куртенэ, 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.