On a paraconsistentization functor in the category of consequence structures (2016)
- Authors:
- USP affiliated authors: SOUZA, EDELCIO GONÇALVES DE - FFLCH ; DIAS, DIOGO HENRIQUE BISPO - FFLCH
- Unidade: FFLCH
- DOI: 10.1080/11663081.2016.1225487
- Subjects: LÓGICA; LÓGICA SIMBÓLICA
- Agências de fomento:
- Language: Inglês
- Abstract: This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which ex falso quodlibet holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, we study the case of paraconsistentization of propositional classical logic.
- Imprenta:
- Source:
- Título: Journal of Applied Non-Classical Logics
- ISSN: 1166-3081
- Volume/Número/Paginação/Ano: v. 26, n. 3, p. 240-250, 2016
- Status:
- Artigo possui versão em acesso aberto em repositório (Green Open Access)
- Versão do Documento:
- Versão submetida (Pré-print)
- Acessar versão aberta:
-
ABNT
SOUZA, Edelcio Gonçalves de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics, v. 26, n. 3, p. 240-250, 2016Tradução . . Disponível em: https://doi.org/10.1080/11663081.2016.1225487. Acesso em: 11 abr. 2026. -
APA
Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2016). On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics, 26( 3), 240-250. doi:10.1080/11663081.2016.1225487 -
NLM
Souza EG de, Costa-Leite A, Dias DHB. On a paraconsistentization functor in the category of consequence structures [Internet]. Journal of Applied Non-Classical Logics. 2016 ; 26( 3): 240-250.[citado 2026 abr. 11 ] Available from: https://doi.org/10.1080/11663081.2016.1225487 -
Vancouver
Souza EG de, Costa-Leite A, Dias DHB. On a paraconsistentization functor in the category of consequence structures [Internet]. Journal of Applied Non-Classical Logics. 2016 ; 26( 3): 240-250.[citado 2026 abr. 11 ] Available from: https://doi.org/10.1080/11663081.2016.1225487 - Paraconsistentização de lógicas
- Paraconsistentization of logics via category theory
- On a paraconsistentization function
- Paraconsistent Orbits of Logics
- Paraconsistentization and many-valued logics
- Estrutura e logica de teorias fisicas
- Analiticidade e protocolos interpretativos
- Problema de destouches e as logicas heterodoxas: ensaio sobre o uso de logicas nao-classicas no tratamento de inconsistencia em teorias fisicas
- On a first-order bi-sorted semantically closed language
- On extensions of isomorphisms of substructures
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
