Skip navigation
Por favor, use este identificador para citar o enlazar este ítem: http://repositorio.unb.br/handle/10482/43674
Ficheros en este ítem:
No hay ficheros asociados a este ítem.
Título : Paraconsistent orbits of logics
Autor : Souza, Edelcio G. de
Leite, Alexandre Fernandes Batista Costa
Dias, Diogo H. B.
Assunto:: Paraconsistentização
Lógica paraconsistente
Lógica abstrata
Fecha de publicación : 2021
Editorial : Springer
Citación : SOUZA, Edelcio G. de; COSTA-LEITE, Alexandre; DIAS, Diogo H.B. Paraconsistent orbits of logics. Logica Universalis, v. 15, p. 271–289, 2021. DOI: https://doi.org/10.1007/s11787-021-00284-3. Disponível em: https://link.springer.com/article/10.1007/s11787-021-00284-3. Acesso em: 9 maio 2022.
Abstract: Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets . Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract logics. To conclude, the conceptual notion paraconsistent orbit of a logic is proposed.
Licença:: © 2021 The Author(s), under exclusive licence to Springer
DOI: https://doi.org/10.1007/s11787-021-00284-3
metadata.dc.relation.publisherversion: https://link.springer.com/article/10.1007/s11787-021-00284-3
Aparece en las colecciones: Artigos publicados em periódicos e afins

Mostrar el registro Dublin Core completo del ítem " class="statisticsLink btn btn-primary" href="/jspui/handle/10482/43674/statistics">



Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.