Paraconsistent orbits of logics

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorSouza, Edelcio G. de-
Autor(es): dc.creatorLeite, Alexandre Fernandes Batista Costa-
Autor(es): dc.creatorDias, Diogo H. B.-
Data de aceite: dc.date.accessioned2022-08-15T13:37:45Z-
Data de disponibilização: dc.date.available2022-08-15T13:37:45Z-
Data de envio: dc.date.issued2022-05-09-
Data de envio: dc.date.issued2022-05-09-
Data de envio: dc.date.issued2020-
Fonte completa do material: dc.identifierhttps://repositorio.unb.br/handle/10482/43674-
Fonte completa do material: dc.identifierhttps://doi.org/10.1007/s11787-021-00284-3-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/713344-
Descrição: dc.descriptionSome 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.-
Publicador: dc.publisherSpringer-
Relação: dc.relationhttps://link.springer.com/article/10.1007/s11787-021-00284-3-
Direitos: dc.rightsAcesso Restrito-
Direitos: dc.rights© 2021 The Author(s), under exclusive licence to Springer-
Palavras-chave: dc.subjectParaconsistentização-
Palavras-chave: dc.subjectLógica paraconsistente-
Palavras-chave: dc.subjectLógica abstrata-
Título: dc.titleParaconsistent orbits of logics-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional – UNB

Não existem arquivos associados a este item.