Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem

Journal of Symbolic Logic 24 (3):243-244 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963831

Other Versions

original Craig, William (1957) "Linear reasoning. A new form of the herbrand-Gentzen theorem". Journal of Symbolic Logic 22(3):250-268

Links

PhilArchive



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

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

Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
Craig William. Linear reasoning. A new form of the Herbrand-Gentzen theorem. [REVIEW]Burton Dreben - 1959 - Journal of Symbolic Logic 24 (3):243-244.
Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.
Consistency and interpolation in linear continuous logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2023 - Archive for Mathematical Logic 62 (7):931-939.
The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
On Herbrand theorem.A. Lyaletski - 2001 - Bulletin of Symbolic Logic 7 (1):132-133.
Review: William Craig, Logic in Algebraic Form. Three Languages and Theories. [REVIEW]Stephen D. Comer - 1977 - Journal of Symbolic Logic 42 (1):108-109.
Temporal Gödel-Gentzen and Girard translations.Norihiro Kamide - 2013 - Mathematical Logic Quarterly 59 (1-2):66-83.
On the Craig-Lyndon interpolation theorem.Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (2):271-274.
Interpolation via translations.João Rasga, Walter Carnielli & Cristina Sernadas - 2009 - Mathematical Logic Quarterly 55 (5):515-534.

Analytics

Added to PP
2017-02-21

Downloads
10 (#1,484,026)

6 months
4 (#1,288,968)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.
The many faces of interpolation.Johan Benthem - 2008 - Synthese 164 (3):451-460.
Archetypal forms of inference.Lloyd Humberstone - 2004 - Synthese 141 (1):45 - 76.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references