Paraconsistentization of logics via category theory (2016)
- Authors:
- Autor USP: SOUZA, EDELCIO GONÇALVES DE - FFLCH
- Unidade: FFLCH
- Subjects: LÓGICA; LÓGICA SIMBÓLICA
- Language: Inglês
- Imprenta:
- Publisher: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP
- Publisher place: Campinas, SP
- Date published: 2016
- Source:
- Título do periódico: Book of Abstracts
- Conference titles: Trends in Logic
-
ABNT
SOUZA, Edelcio Gonçalves de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. Paraconsistentization of logics via category theory. 2016, Anais.. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP, 2016. . Acesso em: 19 abr. 2024. -
APA
Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2016). Paraconsistentization of logics via category theory. In Book of Abstracts. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP. -
NLM
Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization of logics via category theory. Book of Abstracts. 2016 ;[citado 2024 abr. 19 ] -
Vancouver
Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization of logics via category theory. Book of Abstracts. 2016 ;[citado 2024 abr. 19 ] - Paraconsistentization and many-valued logics
- Estrutura e logica de teorias fisicas
- On a paraconsistentization function
- Paraconsistent Orbits of Logics
- Problema de destouches e as logicas heterodoxas: ensaio sobre o uso de logicas nao-classicas no tratamento de inconsistencia em teorias fisicas
- Analiticidade e protocolos interpretativos
- Paraconsistent Orbits of Logics
- Paraconsistent Orbits of Logics
- On extensions of isomorphisms of substructures
- On a paraconsistentization functor in the category of consequence structures
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas