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.

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

Similar books and articles

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

References found in this work

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

Add more references