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

Links

PhilArchive



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

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.
How set theory impinges on logic.Jesus Mosterin - unknown
A formalization of kant’s transcendental logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - Review of Symbolic Logic 4 (2):254-289.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
Meinong’s theory of objects: An attempt at overcoming psychologism.Francesca Modenato - 1995 - Grazer Philosophische Studien 50 (1):87-112.
Separation principles in the hierarchy theory of pure first-order logic.M. R. Krom - 1963 - Journal of Symbolic Logic 28 (3):222-236.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Categoricity theorems and conceptions of set.Gabriel Uzquiano - 2002 - Journal of Philosophical Logic 31 (2):181-196.
Do not claim too much: Second-order logic and first-order logic.Stewart Shapiro - 1999 - Philosophia Mathematica 7 (1):42-64.
Second-order Logic Revisited.Otavio Bueno - unknown
On the rules of proof in the pure functional calculus of the first order.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):107-111.
Frege's unofficial arithmetic.Agustín Rayo - 2002 - Journal of Symbolic Logic 67 (4):1623-1638.
Pure logic, and other minor works.William Stanley Jevons - 1890 - New York,: B. Franklin.

Analytics

Added to PP
2010-08-24

Downloads
62 (#254,871)

6 months
13 (#182,749)

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