Логический анализ дефинициальной дедукции
##plugins.themes.bootstrap3.article.main##
Abstract
The article is devoted to analisis of definitions and their properties in type-free languages. In order to achieve this aim we define logic of definitional deduction. The single rule of this logic is replacement of terms according to their definitions. The resulting logic is definitionally equivalent to combinatory logic of Sch_nfinkel-Curry.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Shalack V. Логический анализ дефинициальной дедукции // Logicheskie Issledovaniya / Logical Investigations. 2009. VOL. 15. C. 266-283.
Issue
Section
Papers
References
Brown J.R. Philosophy of Mathematics. Routledge, 1999. P. 74.
Бочаров В.А., Маркин В.И. Основы логики. Учебник. М.: Космополис, 1994. С. 201.
Whitehead A.N., Russel В. Principia Mathematica. Vol. 1. Cambridge, 1910. P. 11.
Фреге Г. Логика в математике. Избранные работы. М.: Дом интеллектуальной книги, 1997. С. 101.
Gupta A. Definitions // The Stanford Encyclopedia of Philosophy / Edward N. Zalta (ed.), URL = .
Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика. М.: Мир, 1985.
Бочаров В.А., Маркин В.И. Основы логики. Учебник. М.: Космополис, 1994. С. 201.
Whitehead A.N., Russel В. Principia Mathematica. Vol. 1. Cambridge, 1910. P. 11.
Фреге Г. Логика в математике. Избранные работы. М.: Дом интеллектуальной книги, 1997. С. 101.
Gupta A. Definitions // The Stanford Encyclopedia of Philosophy / Edward N. Zalta (ed.), URL =
Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика. М.: Мир, 1985.