Quantifier-free versions of first order logic and their psychological significance

Journal of Philosophical Logic 21 (2):125 - 147 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00248635

Other Versions

No versions found

Links

PhilArchive



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

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

Mycielski Jan and Steinhaus H.. A mathematical axiom contradicting the axiom of choice. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 1–3.Mycielski Jan. On the axiom of determinateness. Fundamenta mathematicae, vol. 53 , pp. 205–224.Mycielski Jan and Świerczkowski S.. On the Lebesgue measurability and the axiom of determinateness. Fundamenta mathematicae, vol. 54 , pp. 67–71.Mycielski Jan. On the axiom of determinateness . Fundamenta mathematicae, vol. 59 , pp. 203–212. [REVIEW]James E. Baumgartner - 1971 - Journal of Symbolic Logic 36 (1):164-166.
Dynamic Relational Mereotopology.Vladislav Nenchev - 2013 - Logic and Logical Philosophy 22 (3):295-325.
The existential fragment of second-order propositional intuitionistic logic is undecidable.Ken-Etsu Fujita, Aleksy Schubert, Paweł Urzyczyn & Konrad Zdanowski - 2024 - Journal of Applied Non-Classical Logics 34 (1):55-74.
Dynamic relational mereotopology: Logics for stable and unstable relations.Vladislav Nenchev - 2013 - Logic and Logical Philosophy 22 (3):295-325.
The quantifier complexity of polynomial‐size iterated definitions in first‐order logic.Samuel R. Buss & Alan S. Johnson - 2010 - Mathematical Logic Quarterly 56 (6):573-590.
Succinctness as a source of complexity in logical formalisms.Georg Gottlob, Nicola Leone & Helmut Veith - 1999 - Annals of Pure and Applied Logic 97 (1-3):231-260.
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (1):129-136.
Non-effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.
Quantifiers.Dag Westerståhl - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 437–460.

Analytics

Added to PP
2009-01-28

Downloads
53 (#413,526)

6 months
12 (#312,930)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Finite mathematics.Shaughan Lavine - 1995 - Synthese 103 (3):389 - 420.
New set-theoretic axioms derived from a lean metamathematics.Jan Mycielski - 1995 - Journal of Symbolic Logic 60 (1):191-198.

Add more citations

References found in this work

Axiomatizability by a schema.Robert L. Vaught - 1967 - Journal of Symbolic Logic 32 (4):473-479.
Analysis without actual infinity.Jan Mycielski - 1981 - Journal of Symbolic Logic 46 (3):625-633.

Add more references