Abstract
There are two types of systems of natural deduction: the first is based on an indirect rule for the elimination of the existential quantifier; and the second is based on a direct rule for the elimination of the existential quantifier.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
L. Borkowski and J. Slupecki, ‘A logical system based on rules’, Studia Logica 7 (1958).
A. Γ. Дparaлин, ‘Интyициoнистская логика и ℰ-символ Гильбета,’Исторпя и методология естественных наук, вьіп. XУI, Математика, меҳаника. МГУ, 1974.
A. C. Leisenring, Mathematical logic and Hilbert’s ℰ-symbol, London, 1969.
Г. E .МиIIп,, Гейтнговское исчисление предикатов с зпсилонсимволом,, Записки ІІаучпыҳ семипаров ЛОМИ, т.40. Исследования по конструктивной математике и математической логике ,УІ.Лепипград,1974.
B. H. Opeвков,,Злимипация функциопалъныҳ знаков без условия единственностии конструктивые исчисления предикатов c 2130-символом’, Теория логического вывода ( тезисы докладов Всесоюзного симпозиума, Москва, март) 25–27, 1974), ч.I, M., 1974.
E. Слупецкий Л. Борковский, Элементы математической логики и теория мношсеств, M., 1965 (перевод с польского, 1963).
V. A. Smirnov, ‘Elimination des termes ℰ dans la logique intuitioniste’, Revue International de Philosophie 98, 1971.
B. A. Смирпов Формальный вывод и логические исчиления , M., 1972.
D. Leivant, ‘Existential instantiation in a system of natural deduction for intuitionistic arithmetic’, Stichting Mathematisch Centrum, Amsterdam, 1973.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Smirnov, V.A. (1979). Theory of Quantification and ‰-Calculi. In: Hintikka, J., Niiniluoto, I., Saarinen, E. (eds) Essays on Mathematical and Philosophical Logic. Synthese Library, vol 122. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9825-4_3
Download citation
DOI: https://doi.org/10.1007/978-94-009-9825-4_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-9827-8
Online ISBN: 978-94-009-9825-4
eBook Packages: Springer Book Archive