Pure second-order logic

Notre Dame Journal of Formal Logic 33 (2):220-224 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093636099

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,667

External links

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

Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
A note on the Hanf number of second-order logic.Matt Kaufmann - 1985 - Notre Dame Journal of Formal Logic 26 (4):305-308.
A substitution free axiom set for second order logic.Nino B. Cocchiarella - 1969 - Notre Dame Journal of Formal Logic 10 (1):18-30.
The theory of homogeneous simple types as a second-order logic.Nino B. Cocchiarella - 1979 - Notre Dame Journal of Formal Logic 20 (3):505-524.
Second order and higher order universal decision elements in $m$-valued logic.John Loader - 1977 - Notre Dame Journal of Formal Logic 18 (2):313-317.
Second-order quantifiers and the complexity of theories.J. T. Baldwin & S. Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (3):229-303.
A second-order axiomatic theory of strings.Howard C. Wasserman - 1978 - Notre Dame Journal of Formal Logic 19 (4):629-633.
Neologicism and Conservativeness.Stephen Mackereth - forthcoming - Journal of Philosophy.
The modal logic of pure provability.Samuel R. Buss - 1990 - Notre Dame Journal of Formal Logic 31 (2):225-231.
Two Lambda-extensions of the theory of homogeneous simple types as a second-order logic.Nino B. Cocchiarella - 1985 - Notre Dame Journal of Formal Logic 26 (4):377-407.

Analytics

Added to PP
2010-08-24

Downloads
74 (#284,937)

6 months
10 (#422,339)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nicholas Denyer
Trinity College

Citations of this work

The underdetermination of typings.Jan Westerhoff - 2003 - Erkenntnis 58 (3):379 - 414.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.

Add more citations

References found in this work

No references found.

Add more references