A form of herbrand's theorem

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):107-120 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19690150704

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

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

Herbrand’s fundamental theorem in the eyes of Jean Van heijenoort.Claus-Peter Wirth - 2012 - Logica Universalis 6 (3-4):485-520.
A form of herbrand's theorem.Theodore Hailperin - 1969 - Mathematical Logic Quarterly 15 (7‐12):107-120.
Herbrand's Theorem for a Modal Logic.Melvin Fitting - unknown
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
An approximate Herbrand’s theorem and definable functions in metric structures.Isaac Goldbring - 2012 - Mathematical Logic Quarterly 58 (3):208-216.
Herbrand consistency of some finite fragments of bounded arithmetical theories.Saeed Salehi - 2013 - Archive for Mathematical Logic 52 (3-4):317-333.
On the practical value of Herbrand disjunctions.Uwe Petermann - 2000 - Logic and Logical Philosophy 8:153.
On Herbrand consistency in weak arithmetic.Zofia Adamowicz & Paweł Zbierski - 2001 - Archive for Mathematical Logic 40 (6):399-413.
Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
Describing proofs by short tautologies.Stefan Hetzl - 2009 - Annals of Pure and Applied Logic 159 (1-2):129-145.
Extracting Herbrand disjunctions by functional interpretation.Philipp Gerhardy & Ulrich Kohlenbach - 2005 - Archive for Mathematical Logic 44 (5):633-644.
An intensional epistemic logic.Yue J. Jiang - 1993 - Studia Logica 52 (2):259 - 280.
Herbrand's theorem and term induction.Matthias Baaz & Georg Moser - 2006 - Archive for Mathematical Logic 45 (4):447-503.
Herbrand E a silogística ampliada.Frank Thomas Sautter - 2015 - Philósophos - Revista de Filosofia 20 (1):125-144.
First-order multi-modal deduction.Matthew Stone - unknown

Analytics

Added to PP
2016-02-04

Downloads
20 (#785,698)

6 months
2 (#1,241,941)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references