A proof procedure for quantification theory
Journal of Symbolic Logic 20 (2):141-149 (1955)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesTapio Korte, Ari Maunu & Tuomo Aho (2009). Modal Logic From Kant to Possible Worlds Semantics. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Philip Hugly & Charles Sayward (1981). Bound Variables and Schematic Letters. Logique Et Analyse 95:425-429.
James Franklin (2005). Case Comment: Quantification of the ‘Proof Beyond Reasonable Doubt’ Standard. Law, Probability and Risk 6:159-165.
Peter Aczel, Harold Simmons & S. S. Wainer (eds.) (1992). Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press.
Philippe De Rouilhan (2002). On What There Are. Proceedings of the Aristotelian Society 102:183 - 200.
Mireille Staschok (2008). Non-Traditional Squares of Predication and Quantification. Logica Universalis 2 (1).
Philip Hugly & Charles Sayward (1987). Why Substitutional Quantification Does Not Express Existence. Theory and Decision 50:67-75.
Gregory Landini (2005). Quantification Theory in *8 ofPrincipia Mathematicaand the Empty Domain. History and Philosophy of Logic 26 (1):47-59.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads14 ( #83,117 of 549,080 )Recent downloads (6 months)1 ( #63,317 of 549,080 )How can I increase my downloads? |
My notes
Discussion
