Journal of Philosophical Logic 13 (3):249 - 283 (1984)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00707427
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,214
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Elementary Logic.Benson Mates - 1965 - New York: Oxford University Press.
Ontology and the Vicious Circle Principle.Charles S. Chihara - 1973 - Ithaca, NY, USA: Ithaca [N.Y.]Cornell University Press.
Steps Toward a Constructive Nominalism.Nelson Goodman & W. V. Quine - 1947 - Journal of Symbolic Logic 13 (1):49-50.

Add more references

Citations of this work BETA

Tharp's 'Myth and Mathematics'.Charles Chihara - 1989 - Synthese 81 (2):153 - 165.
Nominalistic Metalogic.Ken Akiba - 1998 - Journal of Philosophical Logic 27 (1):35-47.
Classical Physical Abstraction.Ernest W. Adams - 1993 - Erkenntnis 38 (2):145 - 167.

Add more citations

Similar books and articles

A Note on Lascar Strong Types in Simple Theories.Byunghan Kim - 1998 - Journal of Symbolic Logic 63 (3):926-936.
On the Binding Group in Simple Theories.Ziv Shami & Frank O. Wagner - 2002 - Journal of Symbolic Logic 67 (3):1016-1024.
Cut-Elimination for Simple Type Theory with an Axiom of Choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Scope Dominance with Monotone Quantifiers Over Finite Domains.Gilad Ben-Avi & Yoad Winter - 2004 - Journal of Logic, Language and Information 13 (4):385-402.
Dialogue Systems as Proof Editors.Aarne Ranta & Robin Cooper - 2004 - Journal of Logic, Language and Information 13 (2):225-240.
Program Semantics and Classical Logic.Reinhard Muskens - 1997) - In CLAUS Report Nr 86. Saarbrücken: University of the Saarland. pp. 1-27.

Analytics

Added to PP index
2009-01-28

Total views
40 ( #283,723 of 2,507,562 )

Recent downloads (6 months)
1 ( #416,983 of 2,507,562 )

How can I increase my downloads?

Downloads

My notes