Логический анализ дефинициальной дедукции

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

V.I. Shalack

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

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.