Linear reasoning. A new form of the herbrand-Gentzen theorem

Journal of Symbolic Logic 22 (3):250-268 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963593

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

A geometric form of the axiom of choice.J. L. Bell - unknown
Herbrand's Theorem for a Modal Logic.Melvin Fitting - unknown
Gentzen-type systems, resolution and tableaux.Arnon Avron - 1993 - Journal of Automated Reasoning 10:265-281.
An intensional epistemic logic.Yue J. Jiang - 1993 - Studia Logica 52 (2):259 - 280.
A compact representation of proofs.Dale A. Miller - 1987 - Studia Logica 46 (4):347 - 370.
Ultimate Normal Forms for Parallelized Natural Deductions.Neil Tennant - 2002 - Logic Journal of the IGPL 10 (3):299-337.
DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations.Anita Wasilewska - 1984 - Studia Logica 43 (4):395 - 404.
Gentzen-type formulation of the prepositional logic LQ.Tsutomu Hosoi - 1988 - Studia Logica 47 (1):41 - 48.
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.

Analytics

Added to PP
2009-01-28

Downloads
99 (#171,909)

6 months
15 (#159,128)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hempel and Oppenheim on explanation.Rolf Eberle, David Kaplan & Richard Montague - 1961 - Philosophy of Science 28 (4):418-428.
The relevance of premises to conclusions of core proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.
An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.
A Remark on Negation in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2011 - Notre Dame Journal of Formal Logic 52 (1):55-65.

View all 43 citations / Add more citations

References found in this work

No references found.

Add more references