Alexander Leitsch/From the Editor 3–5 Matthias Baaz and Rosalie Iemhoff/Gentzen Calculi for the Existence Predicate 7–23 Ulrich Berger, Stefan Berghofer, Pierre Letouzey and Helmut Schwichtenberg/Program Extraction from [Book Review]

Studia Logica 82:40 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Refined program extraction from classical proofs.Ulrich Berger, Wilfried Buchholz & Helmut Schwichtenberg - 2002 - Annals of Pure and Applied Logic 114 (1-3):3-25.
Cut normal forms and proof complexity.Matthias Baaz & Alexander Leitsch - 1999 - Annals of Pure and Applied Logic 97 (1-3):127-177.
Complexity of resolution proofs and function introduction.Matthias Baaz & Alexander Leitsch - 1992 - Annals of Pure and Applied Logic 57 (3):181-215.
The Skolemization of existential quantifiers in intuitionistic logic.Matthias Baaz & Rosalie Iemhoff - 2006 - Annals of Pure and Applied Logic 142 (1):269-295.
On Skolemization in constructive theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
REVIEWS-Refined program extraction from classical proofs.U. Berger, W. Buchholz, H. Schwichtenberg & N. Danner - 2003 - Bulletin of Symbolic Logic 9 (1):47-48.
Marginalia on sequent calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.
Berger U., Buchholz W., and Schwichtenberg H.. Refined program extraction from classical proofs. Annals of pure and applied logic, vol. 114 (2002), pp. 3–25. [REVIEW]N. Danner - 2003 - Bulletin of Symbolic Logic 9 (1):47-48.
Dialectica interpretation of well-founded induction.Helmut Schwichtenberg - 2008 - Mathematical Logic Quarterly 54 (3):229-239.
CERES in higher-order logic.Stefan Hetzl, Alexander Leitsch & Daniel Weller - 2011 - Annals of Pure and Applied Logic 162 (12):1001-1034.
Embedding logics into product logic.Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček - 1998 - Studia Logica 61 (1):35-47.
Complexity of t-tautologies.Matthias Baaz, Petr Hájek, Franco Montagna & Helmut Veith - 2001 - Annals of Pure and Applied Logic 113 (1-3):3-11.
On Different Concepts of Resolution.Alexander Leitsch - 1989 - Mathematical Logic Quarterly 35 (1):71-77.

Analytics

Added to PP
2014-03-19

Downloads
16 (#909,949)

6 months
1 (#1,475,915)

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

No references found.

Add more references