Сравнение дедуктивной силы реализуемых пропозициональных формул.
##plugins.themes.bootstrap3.article.sidebar##
Published:
01.11.1995
##plugins.themes.bootstrap3.article.main##
Abstract
Исследуется выводимость и невыводимость друг из друга для некоторых известных из литературы 1950 - 70-х годов рекурсивно реализуемых интуиционистски невыводимых пропозиционалъньа формул.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Skvortsov D. .P . Сравнение дедуктивной силы реализуемых пропозициональных формул. // Logicheskie Issledovaniya / Logical Investigations. 1995. VOL. 3. C. 38-52.
Issue
Section
Papers
References
Rose G. F. Propositional calculus and realisability// Transactions of the American Mathematical Society. 1953. V.75, N.l. P.1-19.
Янков В. А. О реализуемых формулах логики высказываний// Доклады АН СССР. 1963. Т.151. С.1035-1037.
Цейтин Г. С. О дизъюнктивном ранге формул конструктивной арифметики// Записки научных семинаров ЛОМИ АН СССР. 1968. Т.8. С.260-271.
Кипнис М. М. О реализациях предикатных формул// Записки научных семинаров ЛОМИ АН СССР. 1971. Т.20. С.40-48.
Плиско В. Е. Об одной формальной системе, связанной с реализуемостью// Теория алгоритмов и математическая логика. ВЦ АН СССР. М., 1974. С.143-158.
Медведев Ю. Т. Финитные задачи// Доклады АН СССР. 1962. Т.142. N 5. С.1015-1018.
Янков В. О.А связи между выводимостью в интуиционистском исчислении высказываний и конечными импликативными структурами// Доклады АН СССР. 1963. Т.151. N.6. С.12931294.
Gabbay D. М. The decidability of the Kreisel - Putnam system// Journal of Symbolic Logic. 1970. V.35. N.3. P.431-437.
Янков В. А. О реализуемых формулах логики высказываний// Доклады АН СССР. 1963. Т.151. С.1035-1037.
Цейтин Г. С. О дизъюнктивном ранге формул конструктивной арифметики// Записки научных семинаров ЛОМИ АН СССР. 1968. Т.8. С.260-271.
Кипнис М. М. О реализациях предикатных формул// Записки научных семинаров ЛОМИ АН СССР. 1971. Т.20. С.40-48.
Плиско В. Е. Об одной формальной системе, связанной с реализуемостью// Теория алгоритмов и математическая логика. ВЦ АН СССР. М., 1974. С.143-158.
Медведев Ю. Т. Финитные задачи// Доклады АН СССР. 1962. Т.142. N 5. С.1015-1018.
Янков В. О.А связи между выводимостью в интуиционистском исчислении высказываний и конечными импликативными структурами// Доклады АН СССР. 1963. Т.151. N.6. С.12931294.
Gabbay D. М. The decidability of the Kreisel - Putnam system// Journal of Symbolic Logic. 1970. V.35. N.3. P.431-437.