On axiomatizing fragments

Journal of Symbolic Logic 42 (4):530-544 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271875

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

Review: C. Smorynski, Self-Reference and Modal Logic. [REVIEW]George Boolos - 1988 - Journal of Symbolic Logic 53 (1):306-309.
Review: C. Smorynski, Nonstandard Models and Related Developments. [REVIEW]C. Dimitracopoulos - 1990 - Journal of Symbolic Logic 55 (2):875-876.
Smoryński C.. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp. [REVIEW]George Boolos - 1988 - Journal of Symbolic Logic 53 (1):306-309.
Review: Craig Smorynski, Modal Logic and Self-Reference. [REVIEW]Albert Visser - 1989 - Journal of Symbolic Logic 54 (4):1479-1480.
Axiomatizing the next-interior fragment of dynamic topological logic.Philip Kremer, Grigori Mints & V. Rybakov - 1997 - Bulletin of Symbolic Logic 3:376-377.
C. Smoryński. Nonstandard models and related developments. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 179–229. [REVIEW]C. Dimitracopoulos - 1990 - Journal of Symbolic Logic 55 (2):875-876.
Eckart Menzler-Trott. Translated by Craig Smoryński and Edward Griffor. Logic's lost genius: The life of Gerhard Gentzen. History of mathematics, vol. 33. American Mathematical Society, Providence, RI, 2007, xxii+441 pp. [REVIEW]W. W. Tait - 2010 - Bulletin of Symbolic Logic 16 (2):270-275.
Axiomatizing Universal Properties of Quantifiers.Kees Doets - 1991 - Journal of Symbolic Logic 56 (3):901-905.
Craig Smoryński. Modal logic and self-reference. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 441–495. [REVIEW]Albert Visser - 1989 - Journal of Symbolic Logic 54 (4):1479-1480.
Axiomatizing universal properties of quantifiers.Kees Doets - 1991 - Journal of Symbolic Logic 56 (3):901-905.

Analytics

Added to PP
2009-01-28

Downloads
14 (#264,824)

6 months
27 (#573,316)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.
The axiomatization problem for fragments.C. Smorynski - 1978 - Annals of Mathematical Logic 14 (2):193.

Add more citations

References found in this work

No references found.

Add more references