Сравнение дедуктивной силы реализуемых пропозициональных формул.
Article Sidebar
Опубликован:
01.11.1995
Main Article Content
Аннотация
Исследуется выводимость и невыводимость друг из друга для некоторых известных из литературы 1950 - 70-х годов рекурсивно реализуемых интуиционистски невыводимых пропозиционалъньа формул.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Скворцов Д. П. Сравнение дедуктивной силы реализуемых пропозициональных формул. // Логические исследования / Logical Investigations. 1995. Т. 3. C. 38-52.
Выпуск
Раздел
Статьи
Литература
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.