New dimensions on translations between logics (2009)
by
Walter A. Carnielli
,
Marcelo E. Coniglio
,
Itala M. L. D’ottaviano
BibTeX
@MISC{Carnielli09newdimensions,
author = {Walter A. Carnielli and Marcelo E. Coniglio and Itala M. L. D’ottaviano},
title = {New dimensions on translations between logics},
year = {2009}
}
OpenURL
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.







