Translations Between Logics: A Survey
| dc.contributor.author | Loffredo D'Ottaviano, Itala M. | |
| dc.contributor.author | Feitosa, Hercules de Araujo [UNESP] | |
| dc.contributor.author | Mras, G. M. | |
| dc.contributor.author | Weingartner, P. | |
| dc.contributor.author | Ritter, B. | |
| dc.contributor.institution | Universidade Estadual de Campinas (UNICAMP) | |
| dc.contributor.institution | Universidade Estadual Paulista (UNESP) | |
| dc.date.accessioned | 2022-04-28T17:30:24Z | |
| dc.date.available | 2022-04-28T17:30:24Z | |
| dc.date.issued | 2020-01-01 | |
| dc.description.abstract | In a series of previous papers we have studied interrelations between logics through the analysis of translations between them. In this paper, providing some brief historical background, we present a general survey of the main questions and problems we have analysed and the results we have obtained. As well as showing the interrelations between our concepts of conservative translation, contextual translation, abstract contextual translation, hypercontextual translation and the concept of isomorphism between logics, we discuss the interrelations among the distinct categories that are constituted by logics and the special types of translations between them. | en |
| dc.description.affiliation | Univ Estadual Campinas, Campinas, SP, Brazil | |
| dc.description.affiliation | Sao Paulo State Univ, Sao Paulo, SP, Brazil | |
| dc.description.affiliationUnesp | Sao Paulo State Univ, Sao Paulo, SP, Brazil | |
| dc.format.extent | 71-90 | |
| dc.identifier | http://dx.doi.org/10.1515/9783110657883-5 | |
| dc.identifier.citation | Philosophy Of Logic And Mathematics. Berlin: Walter De Gruyter Gmbh, v. 27, p. 71-90, 2020. | |
| dc.identifier.doi | 10.1515/9783110657883-5 | |
| dc.identifier.issn | 2191-8449 | |
| dc.identifier.uri | http://hdl.handle.net/11449/218898 | |
| dc.identifier.wos | WOS:000680862200004 | |
| dc.language.iso | eng | |
| dc.publisher | Walter De Gruyter Gmbh | |
| dc.relation.ispartof | Philosophy Of Logic And Mathematics | |
| dc.source | Web of Science | |
| dc.title | Translations Between Logics: A Survey | en |
| dc.type | Trabalho apresentado em evento | pt |
| dcterms.rightsHolder | Walter De Gruyter Gmbh | |
| dspace.entity.type | Publication | |
| relation.isDepartmentOfPublication | 18e8c821-be4c-44c8-b1ef-866dfd04a2ae | |
| relation.isDepartmentOfPublication.latestForDiscovery | 18e8c821-be4c-44c8-b1ef-866dfd04a2ae | |
| unesp.department | Matemática - FC | pt |