New dimensions on translations between logics
Logica Universalis 3 (1) (2009)
| Abstract | After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
|
| Through your library | Configure |
C. G. Montefiore (1938/1974). A Rabbinic Anthology. New York,Schocken Books.
Juliana Bueno-Soler (2010). Two Semantical Approaches to Paraconsistent Modalities. Logica Universalis 4 (1).
Stewart Shapiro (1977). Incomplete Translations of Complete Logics. Notre Dame Journal of Formal Logic 18 (2):248-250.
Walter A. Carnielli & João Marcos (1999). Limits for Paraconsistent Calculi. Notre Dame Journal of Formal Logic 40 (3):375-390.
Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki (2009). What is a Logic Translation? Logica Universalis 3 (1).
Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa (2006). Translating From Łukasiewicz's Logics Into Classical Logic: Is It Possible? Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Costas Drossos & Daniele Mundici (2000). Many-Valued Points and Equality. Synthese 125 (1-2):77-95.
Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa (2000). Paraconsistent Logics and Translations. Synthese 125 (1/2):77 - 95.
Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D.’Ottaviano (2009). New Dimensions on Translations Between Logics. Logica Universalis 3 (1):1-18.
Monthly downloads |
Added to index2009-05-04Total downloads12 ( #93,475 of 549,752 )Recent downloads (6 months)0How can I increase my downloads? |

