Archive for Mathematical Logic 55 (3-4):461-473 (2016)

Authors
Sara Negri
University of Helsinki
Abstract
In 1968, Orevkov presented proofs of conservativity of classical over intuitionistic and minimal predicate logic with equality for seven classes of sequents, what are known as Glivenko classes. The proofs of these results, important in the literature on the constructive content of classical theories, have remained somehow cryptic. In this paper, direct proofs for more general extensions are given for each class by exploiting the structural properties of G3 sequent calculi; for five of the seven classes the results are strengthened to height-preserving statements, and it is further shown that the constructive and minimal proofs are identical in structure to the classical proof from which they are obtained.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s00153-016-0474-y
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,768
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.
Structural Proof Theory.Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - Cambridge University Press.
Basic Proof Theory.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - Cambridge University Press.
A Proof-Search Procedure for Intuitionistic Propositional Logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.
2-Sequent Calculus: A Proof Theory of Modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
Sequent Reconstruction in LLM—A Sweepline Proof.R. Banach - 1995 - Annals of Pure and Applied Logic 73 (3):277-295.
On the Unity of Logic.Jean-Yves Girard - 1993 - Annals of Pure and Applied Logic 59 (3):201-217.
Canonical Proof Nets for Classical Logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.
Ramsey Classes of Topological and Metric Spaces.Jaroslav Nešetřil - 2006 - Annals of Pure and Applied Logic 143 (1):147-154.
On the Proof Theory of the Intermediate Logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
Glivenko Theorems Revisited.Hiroakira Ono - 2009 - Annals of Pure and Applied Logic 161 (2):246-250.

Analytics

Added to PP index
2016-02-10

Total views
26 ( #380,829 of 2,340,398 )

Recent downloads (6 months)
1 ( #514,582 of 2,340,398 )

How can I increase my downloads?

Downloads

My notes