Translations and Prawitz’s Ecumenical System

Studia Logica:1-16 (forthcoming)
  Copy   BIBTEX

Abstract

Since Prawitz proposal of his ecumenical system, where classical and intuitionistic logics co-exist in peace, there has been a discussion about the relation between translations and the ecumenical perspective. While it is undeniable that there exists a relationship, it is also undeniable that its very nature is controversial. The aim of this paper is to show that there are interesting relations between the Gödel-Gentzen translation and the ecumenical perspective. We show that the ecumenical perspective cannot be reduced to the Gödel-Gentzen translation, much less be identified with it.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Interpolation via translations.João Rasga, Walter Carnielli & Cristina Sernadas - 2009 - Mathematical Logic Quarterly 55 (5):515-534.
Temporal Gödel-Gentzen and Girard translations.Norihiro Kamide - 2013 - Mathematical Logic Quarterly 59 (1-2):66-83.
A Note on the Godel-Gentzen Translation.Hajime Ishihara - 2000 - Mathematical Logic Quarterly 46 (1):135-138.

Analytics

Added to PP
2024-10-11

Downloads
23 (#1,019,869)

6 months
23 (#134,941)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Valeria Correa Vaz De Paiva
University of Birmingham

Citations of this work

No citations found.

Add more citations