Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas.

Detalhes bibliográficos
Autor(a) principal: SILVA, Antônio Gomes da.
Data de Publicação: 2017
Tipo de documento: Livro
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/30218
Resumo: Teorias não aléticas são aquelas cujo cálculo lógico subjacente comporta, simultaneamente, a negação da validade irrestrita do Princípio de Não Contradição e a negação da validade irrestrita do Princípio do Terceiro Excluído. Os sistemas lógicos não aléticos encontram contato histórico com as abordagens de teorias inconsistentes não triviais. Forma possível de situá-los historicamente, por-tanto, é relacioná-los à história de tais abordagens.
id UFCG_cf0fd9345fdf9735a0f1548776995e18
oai_identifier_str oai:localhost:riufcg/30218
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas.Non-alectic logical systems: an introduction to paraconsistent and paracomplete logic.Sistemas lógicos não aléticosLógica paraconsistenteLógica paracompletaSistema axiomático formalCálculo proposicional não aléticoNon-alectic logical systemsParaconsistent logicParacomplete logicFormal axiomatic systemNon-allectic propositional calculusSistemas lógicos no alécticosLógica paraconsistenteLógica paracompletaSistema axiomático formalCálculo proposicional no alécticoSystèmes logiques non alectiqueslogique paracohérenteLogique paracomplèteSystème axiomatique formelCalcul propositionnel non allectiqueFilosofia. Matemática.Teorias não aléticas são aquelas cujo cálculo lógico subjacente comporta, simultaneamente, a negação da validade irrestrita do Princípio de Não Contradição e a negação da validade irrestrita do Princípio do Terceiro Excluído. Os sistemas lógicos não aléticos encontram contato histórico com as abordagens de teorias inconsistentes não triviais. Forma possível de situá-los historicamente, por-tanto, é relacioná-los à história de tais abordagens.Universidade Federal de Campina GrandeBrasilUFCG20172023-06-12T13:13:37Z2023-06-122023-06-12T13:13:37Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookhttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/30218SILVA, Antônio Gomes da. Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas. Campina Grande - PB: EDUFCG, 2017. ISBN: 978-85-8001-216-3. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/30218porSILVA, Antônio Gomes da.info:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2023-06-12T13:20:17Zoai:localhost:riufcg/30218Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512023-06-12T13:20:17Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas.
Non-alectic logical systems: an introduction to paraconsistent and paracomplete logic.
title Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas.
spellingShingle Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas.
SILVA, Antônio Gomes da.
Sistemas lógicos não aléticos
Lógica paraconsistente
Lógica paracompleta
Sistema axiomático formal
Cálculo proposicional não alético
Non-alectic logical systems
Paraconsistent logic
Paracomplete logic
Formal axiomatic system
Non-allectic propositional calculus
Sistemas lógicos no alécticos
Lógica paraconsistente
Lógica paracompleta
Sistema axiomático formal
Cálculo proposicional no aléctico
Systèmes logiques non alectiques
logique paracohérente
Logique paracomplète
Système axiomatique formel
Calcul propositionnel non allectique
Filosofia. Matemática.
title_short Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas.
title_full Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas.
title_fullStr Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas.
title_full_unstemmed Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas.
title_sort Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas.
author SILVA, Antônio Gomes da.
author_facet SILVA, Antônio Gomes da.
author_role author
dc.contributor.author.fl_str_mv SILVA, Antônio Gomes da.
dc.subject.por.fl_str_mv Sistemas lógicos não aléticos
Lógica paraconsistente
Lógica paracompleta
Sistema axiomático formal
Cálculo proposicional não alético
Non-alectic logical systems
Paraconsistent logic
Paracomplete logic
Formal axiomatic system
Non-allectic propositional calculus
Sistemas lógicos no alécticos
Lógica paraconsistente
Lógica paracompleta
Sistema axiomático formal
Cálculo proposicional no aléctico
Systèmes logiques non alectiques
logique paracohérente
Logique paracomplète
Système axiomatique formel
Calcul propositionnel non allectique
Filosofia. Matemática.
topic Sistemas lógicos não aléticos
Lógica paraconsistente
Lógica paracompleta
Sistema axiomático formal
Cálculo proposicional não alético
Non-alectic logical systems
Paraconsistent logic
Paracomplete logic
Formal axiomatic system
Non-allectic propositional calculus
Sistemas lógicos no alécticos
Lógica paraconsistente
Lógica paracompleta
Sistema axiomático formal
Cálculo proposicional no aléctico
Systèmes logiques non alectiques
logique paracohérente
Logique paracomplète
Système axiomatique formel
Calcul propositionnel non allectique
Filosofia. Matemática.
description Teorias não aléticas são aquelas cujo cálculo lógico subjacente comporta, simultaneamente, a negação da validade irrestrita do Princípio de Não Contradição e a negação da validade irrestrita do Princípio do Terceiro Excluído. Os sistemas lógicos não aléticos encontram contato histórico com as abordagens de teorias inconsistentes não triviais. Forma possível de situá-los historicamente, por-tanto, é relacioná-los à história de tais abordagens.
publishDate 2017
dc.date.none.fl_str_mv 2017
2023-06-12T13:13:37Z
2023-06-12
2023-06-12T13:13:37Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/book
format book
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/30218
SILVA, Antônio Gomes da. Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas. Campina Grande - PB: EDUFCG, 2017. ISBN: 978-85-8001-216-3. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/30218
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/30218
identifier_str_mv SILVA, Antônio Gomes da. Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas. Campina Grande - PB: EDUFCG, 2017. ISBN: 978-85-8001-216-3. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/30218
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
UFCG
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1809744580355031040

Registros relacionados