A New Formulation of Predicative Second Order Logic'

Logique Et Analyse 65 (66):61-87 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Nominalism and conceptualism as predicative second-order theories of predication.Nino Cocchiarella - 1980 - Notre Dame Journal of Formal Logic 21 (3):481-500.
A conceptualist interpretation of Lesniewski's ontology.Nino B. Cocchiarella - 2001 - History and Philosophy of Logic 22 (1):29-43.
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik.Richard G. Heck - 1996 - History and Philosophy of Logic 17 (1-2):209-220.
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
A New Approach to Predicative Set Theory.Arnon Avron - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 31-64.
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
Modal logic: an introduction to its syntax and semantics.Nino Barnabas Cocchiarella & Max A. Freund - 2008 - New York: Oxford University Press. Edited by Max A. Freund.
Real analysis without classes.Geoffrey Hellman - 1994 - Philosophia Mathematica 2 (3):228-250.
A second order logic of existence.Nino B. Cocchiarella - 1969 - Journal of Symbolic Logic 34 (1):57-69.
A substitution free axiom set for second order logic.Nino B. Cocchiarella - 1969 - Notre Dame Journal of Formal Logic 10 (1):18-30.
Paradox and Potential Infinity.Charles McCarty - 2013 - Journal of Philosophical Logic 42 (1):195-219.

Analytics

Added to PP
2014-02-10

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Nino Cocchiarella
Indiana University, Bloomington

Citations of this work

Add more citations

References found in this work

No references found.

Add more references