Conservative translations

&
Annals of Pure and Applied Logic 108:205-227 (2001)
  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: 91,349

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

Paraconsistent Logics and Translations.Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa - 2000 - Synthese 125 (1/2):77 - 95.
New dimensions on translations between logics.Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D’Ottaviano - 2009 - Logica Universalis 3 (1):1-18.
Conservative translations.Hércules A. Feitosa & Itala M. Loffredo D'Ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.
Many-valued points and equality.Costas Drossos & Daniele Mundici - 2000 - Synthese 125 (1-2):77-95.
Farah, I., Basis problem for turbulent actions I: Tsirelson submeasures (1} 3) 189} 203 Feitosa, HA and Lo4redo D: Ottaviano, IM, Conservative translations (1} 3) 205} 227 Friedman, Sy D., see Bagaria, J.(1} 3) 3} 13. [REVIEW]R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2001 - Annals of Pure and Applied Logic 108 (373):374.
Translating from łukasiewicz's logics into classical logic: Is it possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
Deductive systems and translations.Itala M. Loffredo D'Ottaviano & H. A. Feitosa - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. pp. 125--157.
Paraconsistent Logics and Translations.Itala M. Loffredo D’Ottaviano & Hércules de Araújo Feitosa - 2000 - Synthese 125 (1-2):77-95.
The ubiquity of conservative translations.Emil Jeřábek - 2012 - Review of Symbolic Logic 5 (4):666-678.
Many-Valued Logics and Translations.Ítala M. Loffredo D'Ottaviano & Hércules de Araujo Feitosa - 1999 - Journal of Applied Non-Classical Logics 9 (1):121-140.
A1 is not a conservative extension of s4 but of S.Michiro Kondo - 1989 - Journal of Philosophical Logic 18 (3):321 - 323.
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Journal of Symbolic Logic 63 (3):869-890.
Justice: A conservative view.John Kekes - 2006 - Social Philosophy and Policy 23 (2):88-108.

Analytics

Added to PP
2014-03-18

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Many-Valued Logics and Translations.Ítala M. Loffredo D'Ottaviano & Hércules de Araujo Feitosa - 1999 - Journal of Applied Non-Classical Logics 9 (1):121-140.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references