A substitution free axiom set for second order logic
Notre Dame Journal of Formal Logic 10 (1):18-30 (1969)
| 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,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesDolph Ulrich (1996). The Shortest Possible Length of the Longest Implicational Axiom. Journal of Philosophical Logic 25 (1):101 - 108.
Karsten Klint Jensen (2012). Unacceptable Risks and the Continuity Axiom. Economics and Philosophy 28 (1):31-42.
Thomas Glass (1996). On Power Set in Explicit Mathematics. Journal of Symbolic Logic 61 (2):468-489.
Bart Jacobs (1989). The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory. Journal of Philosophical Logic 18 (4):399 - 422.
Samuel Alexander (2013). The First-Order Syntax of Variadic Functions. Notre Dame Journal of Formal Logic 54 (1):47-59.
Gregory H. Moore (1980). Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory. History and Philosophy of Logic 1 (1-2):95-137.
Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard (2012). A Uniform Logic of Information Dynamics. In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications.
Nino B. Cocchiarella (2001). A Conceptualist Interpretation of Lesniewski's Ontology. History and Philosophy of Logic 22 (1):29-43.
Robert E. Beaudoin (1987). Strong Analogues of Martin's Axiom Imply Axiom R. Journal of Symbolic Logic 52 (1):216-218.
Giangiacomo Gerla & Virginia Vaccaro (1984). Modal Logic and Model Theory. Studia Logica 43 (3):203 - 216.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Ignacio Jané (1993). A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14 (1):67-86.
Paul C. Gilmore (1986). Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes. Journal of Symbolic Logic 51 (2):393-411.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads2 ( #232,382 of 549,069 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
