Симуляция натуральных и секвенциальных исчислений

Д. А. Кожемяченко

Аннотация


Симуляция натуральных и секвенциальных исчислений


Полный текст:

PDF

Литература


Бочаров В.А., Маркин В.И. Введение в логику. — М.: ИД «ФОРУМ»: ИНФРА-М., 2008.

Войшвилло Е.К., Дегтярев М.Г. Логика — М.: ВЛАДОС-ПРЕСС, 2001.

Генцен Г. Исследование логических выводов / Пер. с нем. А.В. Идельсона // Математическая логика и основания математики. Математическая теория логического вывода / Под ред. А.В. Идельсона, Г.Е. Минца. — М.: «Наука», 1967. — С. 9–74

Ивлев Ю.В. Логика: учебник. М.: ТК Велби, Изд-во Проспект, 2008.

Buss S. R., Bonet M. L. The deduction rule and linear and near-linear proof simulations // The Journal of Symbolic Logic. — 1993. — Jun. — Vol. 58, no. 2. — P. 688–709.

Cook S.A., Reckhow R.A. The relative efficiency of propositional proof systems // The Journal of Symbolic Logic. — 1979. — Mar. — Vol. 44, no. 1. — P. 36–50.

Handbook of Proof Theory / Ed. by S. R. Buss. — 1st edition. — Amsterdam : Elsevier Science, 1998. — Vol. 137 of Studies in Logic and Foundations of Mathematic.

Papadimitriou C. H. Computational complexity. — NY : Addison-Wesley Publishing Company, Inc., 1995.

Pelletier F.J. A brief history of natural deduction // HISTORY AND PHILOSOPHY OF LOGIC. — 1999. — no. 20. — P. 1–31.

Reckhow R.A. On the lengths of proofs in the propositional calculus : Ph. D. thesis / Reckhow R.A.; University of Toronto. — 1976.


Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2016 Д. А. Кожемяченко

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.