A Note on the Godel-Gentzen Translation

Mathematical Logic Quarterly 46 (1):135-138 (2000)
  Copy   BIBTEX

Abstract

We give a variant of the Gödel-Gentzen-negative translation, and a syntactic characterization which entails conservativity result for formulas

Categories

Keywords

Reprint years

DOI

10.1002/(sici)1521-3870(200001)46:1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,343

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 Note on the Godel-Gentzen Translation.D. Bridges & A. Mahalanobis - 2000 - Mathematical Logic Quarterly 46 (1):139-143.
Temporal Gödel-Gentzen and Girard translations.Norihiro Kamide - 2013 - Mathematical Logic Quarterly 59 (1-2):66-83.
A Kuroda-style j-translation.Benno van den Berg - 2019 - Archive for Mathematical Logic 58 (5):627-634.
Translations and Prawitz’s Ecumenical System.Luiz Carlos Pereira, Elaine Pimentel & Valeria de Paiva - forthcoming - Studia Logica:1-16.
Double Negation Semantics for Generalisations of Heyting Algebras.Rob Arthan & Paulo Oliva - 2020 - Studia Logica 109 (2):341-365.
Interpolation via translations.João Rasga, Walter Carnielli & Cristina Sernadas - 2009 - Mathematical Logic Quarterly 55 (5):515-534.
Paraconsistent Double Negations as Classical and Intuitionistic Negations.Norihiro Kamide - 2017 - Studia Logica 105 (6):1167-1191.
Mathematical Logic – An Investigation On The Results Of Hilbert, Gödel, Gentzen And Kleene. [REVIEW]Moisie Ignat - 2002 - Studia Philosophica 2.
Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.
Theorem Proving via Uniform Proofs>.Alberto Momigliano - unknown

Analytics

Added to PP
2013-12-01

Downloads
52 (#437,458)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Glivenko sequent classes in the light of structural proof theory.Sara Negri - 2016 - Archive for Mathematical Logic 55 (3-4):461-473.
A note on the independence of premiss rule.Hajime Ishihara & Takako Nemoto - 2016 - Mathematical Logic Quarterly 62 (1-2):72-76.
Interpolation via translations.João Rasga, Walter Carnielli & Cristina Sernadas - 2009 - Mathematical Logic Quarterly 55 (5):515-534.
Bounded linear-time temporal logic: A proof-theoretic investigation.Norihiro Kamide - 2012 - Annals of Pure and Applied Logic 163 (4):439-466.

Add more citations

References found in this work

No references found.

Add more references