Uniform Gentzen systems

Journal of Symbolic Logic 33 (4):549-559 (1968)
  Copy   BIBTEX

Abstract

Generally speaking, it appears correct to say that in a formulation of first order logic in which a large number of connectives are taken as primitive which allows us to have our cake and eat it too.

Categories

Keywords

Reprint years

1969

DOI

10.2307/2271361

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

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

Raymond M. Smullyan. First-order logic. Corrected republication of XL 237. Dover Publications, New York1995, xii + 158 pp. [REVIEW]Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (1):351.
Review: Raymond M. Smullyan, Extended Canonical Systems. [REVIEW]James H. Bennett - 1967 - Journal of Symbolic Logic 32 (4):524-524.
Review: Raymond M. Smullyan, On Post's Canonical Systems. [REVIEW]Ann Yasuhara - 1968 - Journal of Symbolic Logic 33 (4):623-623.
Smullyan Raymond M.. Languages in which self reference is possible. [REVIEW]J. R. Shoenfield - 1959 - Journal of Symbolic Logic 24 (3):228-228.
Raymond M. Smullyan, On Post 's canonical systems. The journal of symbolic logic, vol. 27 no. 1 , pp. 55–57.Ann Yasuhara - 1969 - Journal of Symbolic Logic 33 (4):623.
Raymond M. Smullyan. First-order logic. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 43, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, XII + 158 pp. [REVIEW]William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
Raymond M. Smullyan. Theory of formal systems. Annals of Mathematics studies, no. 47. Princeton University Press, Princeton1961, xi + 142 pp. - Raymond M. Smullyan. Theory of formal systems. Revised edition. Annals of Mathematics studies, no. 47. Princeton University Press, Princeton1961, xi + 147 pp. [REVIEW]Marian Boykan Pour-El - 1965 - Journal of Symbolic Logic 30 (1):88-90.
Raymond M. Smullyan. Elementary formal systems. Journal of the Mathematical Society of Japan, vol. 13 , pp. 38–44.Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117.
Raymond M. Smullyan. Extended canonical systems. Proceedings of the American Mathematical Society, vol. 12 , pp. 440–442. [REVIEW]James H. Bennett - 1968 - Journal of Symbolic Logic 32 (4):524.

Analytics

Added to PP
2009-01-28

Downloads
66 (#332,918)

6 months
12 (#218,371)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

EXPtime tableaux for ALC.Francesco M. Donini & Fabio Massacci - 2000 - Artificial Intelligence 124 (1):87-138.

Add more citations

References found in this work

The Foundations of Mathematics.Charles Parsons & Evert W. Beth - 1961 - Philosophical Review 70 (4):553.

Add more references