Lógica da Verdade Pragmática apresentada num sistema dedutivo de Tableaux

Autor: Helen Gomes da Silva, H´ercules de Araujo Feitosa

Publikováno v: CQD Revista Eletrônica Paulista de Matemática, Vol 7 (2022)

Inspirado na noc¸ao de quase-verdade de Newton da Costa, Silvestrini (2011) apresentou uma definic¸ao de verdade pragmáica via satisfação pragmática e, no mesmo trabalho, introduziu a Lógica da Verdade Pragmática (LPT) em um sistema axiomáti

Externí odkaz: https://doaj.org/article/568bd9430ed84d97be4e455e655688b9

Paraconsistents artificial neural networks applied to the study of mutational patterns of the F subtype of the viral strains of HIV-1 to antiretroviral therapy

Autor: PAULO C.C. DOS SANTOS, HELDER F.S. LOPES, ROSANA ALCALDE, CLÁUDIO R. GONSALEZ, JAIR M. ABE, LUIS F. LOPEZ

Publikováno v: Anais da Academia Brasileira de Ciências, Vol 88, Iss 1, Pp 323-334 (2016)

ABSTRACT The high variability of HIV-1 as well as the lack of efficient repair mechanisms during the stages of viral replication, contribute to the rapid emergence of HIV-1 strains resistant to antiretroviral drugs. The selective pressure exerted by

Externí odkaz: https://doaj.org/article/ff9a784a4bb1492b99a74844b70bc404

Determination of an Atmospheric Condition Index with Evidential Annotated Paraconsistent Logic Tools

Autor: Fábio Romeu de Carvalho, Jair Minoro Abe, Silvia Helena Bonilla, Cecilia Maria Villas Boas de Almeida, Biagio Fernando Giannetti

Publikováno v: Research, Society and Development; Vol. 11 No. 16; e442111638428
Research, Society and Development; Vol. 11 Núm. 16; e442111638428
Research, Society and Development; v. 11 n. 16; e442111638428
Research, Society and Development
Universidade Federal de Itajubá (UNIFEI)
instacron:UNIFEI

The objective of this article is to propose the creation of an atmospheric condition index using Artificial Intelligence tools. The atmospheric condition can be obtained from parameters that the scientific communities – environment, health, labor s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a658d233bfd8cf6b139a025399c99ed8
https://rsdjournal.org/index.php/rsd/article/view/38428

Estructura Microprocesada con Acción de Control de Razón Basada en Lógica Paraconsistente Anotada

Autor: Mendonça, Kelly Cristina Abou Arabi de, Matos , Sérgio Luiz da Conceição, Silva Filho, João Inácio da, Mario, Mauricio Conceição, Garcia, Dorotéia Vilanova, Côrtes, Hyghor Miranda, Carvalho Junior, Arnaldo de, Farias, Irene Silva

Publikováno v: Research, Society and Development; Vol. 11 No. 13; e493111335850
Research, Society and Development; Vol. 11 Núm. 13; e493111335850
Research, Society and Development; v. 11 n. 13; e493111335850
Research, Society and Development
Universidade Federal de Itajubá (UNIFEI)
instacron:UNIFEI

This article presents the construction of a micro-controlled structure with algorithms based on Paraconsistent Annotated Logic composing a network of signal analyzes with the purpose of acting as a reason station in loop control for liquid mixture. T

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::bcd320e9ff081036ae6a896c5ec45025
https://rsdjournal.org/index.php/rsd/article/view/35850

Sobre a formalização lógica de mudança de teorias e anomalias científicas

Autor: Ricardo Sousa Silvestre

Publikováno v: Argumentos, Vol 2017, Iss 17 (2017)

Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teori

Externí odkaz: https://doaj.org/article/fa6f13465c574feca1edd1ca51dbff49