Базисная логика и примитивно рекурсивная реализуемость.
##plugins.themes.bootstrap3.article.sidebar##
Published:
03.10.2002
##plugins.themes.bootstrap3.article.main##
Abstract
We introduce a prim itive recursive (PR-) realizability fo r predicate form ulas, based on PR-realizability fo r arithmetic form ulas, introduced by S.Salehi in 2000. The different cases from K leene’s recursive realizability are —$\rightarrow$ and $\forall$, in which the recursive functions associated with, are restricted to prim itive recursive. It is proved, that the set o f PR-realizable predicate fo r mulas are non-arithmetic. The sim ilar results obtained fo r sets o f PR-nonrefutable and PR-realizable sequences.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Viter D. Базисная логика и примитивно рекурсивная реализуемость. // Logicheskie Issledovaniya / Logical Investigations. 2002. VOL. 9. C. 90-102.
Issue
Section
Papers
References
Клини С.К. Введение в метаматематику. Москва: ИЛ, 1957.
Плиско В.Е. О реализуемых предикатных формулах // Докл. АН СССР. 1973. Т. 212, №3. С. 553-556.
Плиско В.Е. Неарифметичность класса реализуемых предикатных формул // Известия АН СССР. 1977. Т. 41, № 3. С 483-502.
Visser A. A propositional logic with explicit fixed points // Studia Logica. 1981. Vol 40. P. 155-175.
Плиско В.Е. Конструктивная формализация теоремы Тенненбаума и ее применения // Математические заметки. 1990. Т. 48, № 3. С. 108-118.
Плиско В.Е. Формализация теоремы Тенненбаума и ее применения // Депонировано в ВИНИТИ. 1992. № 1853-В92.
Ruitenburg W. Basic Logic and Fregean set theory // H.Barendregt, M.Bezem, J.W.Klop (eds). Dirk Van Dalen Festschrift, Quaestions Infmitae. Department of Philosopy. Utrecht University, 1993, vol. 5. P. 122-142.
Ardeshir M. A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic 11 Studia Logica. 1999. Vol. 62. P. 341-352.
Salehi S. Primitive Recursive Realizability and Basic Arithmetic // The Bulletin of Symbolic Logic. 2001. Vol. 7. № 1. P. 147-148.
Витер Д А. Примитивно рекурсивная реализуемость и логика предикатов // Рукопись депонирована в ВИНИТИ. 06.08.2001. № 1830В2001. 86 с.
Плиско В.Е. О реализуемых предикатных формулах // Докл. АН СССР. 1973. Т. 212, №3. С. 553-556.
Плиско В.Е. Неарифметичность класса реализуемых предикатных формул // Известия АН СССР. 1977. Т. 41, № 3. С 483-502.
Visser A. A propositional logic with explicit fixed points // Studia Logica. 1981. Vol 40. P. 155-175.
Плиско В.Е. Конструктивная формализация теоремы Тенненбаума и ее применения // Математические заметки. 1990. Т. 48, № 3. С. 108-118.
Плиско В.Е. Формализация теоремы Тенненбаума и ее применения // Депонировано в ВИНИТИ. 1992. № 1853-В92.
Ruitenburg W. Basic Logic and Fregean set theory // H.Barendregt, M.Bezem, J.W.Klop (eds). Dirk Van Dalen Festschrift, Quaestions Infmitae. Department of Philosopy. Utrecht University, 1993, vol. 5. P. 122-142.
Ardeshir M. A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic 11 Studia Logica. 1999. Vol. 62. P. 341-352.
Salehi S. Primitive Recursive Realizability and Basic Arithmetic // The Bulletin of Symbolic Logic. 2001. Vol. 7. № 1. P. 147-148.
Витер Д А. Примитивно рекурсивная реализуемость и логика предикатов // Рукопись депонирована в ВИНИТИ. 06.08.2001. № 1830В2001. 86 с.