Herbrand's theorem as higher order recursion

, &
Annals of Pure and Applied Logic 171 (6):102792 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2020.102792

Links

PhilArchive



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

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 Confluence for First-Order Proofs with Π2-Cuts.Graham E. Leigh, Stefan Hetzl & Bahareh Afshari - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 5-40.
Herbrand's Theorem for a Modal Logic.Melvin Fitting - unknown
Describing proofs by short tautologies.Stefan Hetzl - 2009 - Annals of Pure and Applied Logic 159 (1-2):129-145.
Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
System description: { A higher-order theorem prover?Michael Kohlhase - manuscript
Herbrand’s fundamental theorem in the eyes of Jean Van heijenoort.Claus-Peter Wirth - 2012 - Logica Universalis 6 (3-4):485-520.
Extracting Herbrand disjunctions by functional interpretation.Philipp Gerhardy & Ulrich Kohlenbach - 2005 - Archive for Mathematical Logic 44 (5):633-644.
An Herebrand [i.e. Herbrand] theorem for higher order logic.Herman Ruge Jervell - 1971 - Oslo,: Universitetet i Oslo, Matematisk institutt.
Lectures on Jacques Herbrand as a Logician.Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2009 - Seki Publications (Issn 1437-4447).
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
Un teorema de multirecursión.Prida José Fernández - 1992 - Theoria 7 (1/2/3):87-90.
First-order multi-modal deduction.Matthew Stone - unknown
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.

Analytics

Added to PP
2020-03-20

Downloads
25 (#633,195)

6 months
8 (#361,319)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

On Extracting Variable Herbrand Disjunctions.Andrei Sipoş - 2022 - Studia Logica 110 (4):1115-1134.

Add more citations

References found in this work

A semantics of evidence for classical arithmetic.Thierry Coquand - 1995 - Journal of Symbolic Logic 60 (1):325-337.
Shoenfield is Gödel after Krivine.Thomas Streicher & Ulrich Kohlenbach - 2007 - Mathematical Logic Quarterly 53 (2):176-179.

View all 10 references / Add more references