New Dimensions on Translations Between Logics |
| |
Authors: | Walter A Carnielli Marcelo E Coniglio Itala M L D’Ottaviano |
| |
Institution: | (1) Department of Philosophy, IFCH and Centre for Logic, Epistemology and The History of Science (CLE), State University of Campinas (UNICAMP), Campinas, SP, Brazil |
| |
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.
Dedicated to the memory of Mário Tourasse Teixeira and Antonio Mário Sette |
| |
Keywords: | translations between logics conservative translations transfers contextual translations sub-logic |
本文献已被 SpringerLink 等数据库收录! |
|