Logic TK: algebric notions from Tarski's consequence operator

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Confrontando propriedades lógicas em um contexto de lógica universal

This paper presents a definition of universal logic in a strictly settheoretic environment and compares logical and topological properties in this abstract environment. From these properties, we verify the etymology of the more common names given for evolved properties, and so we establish the precedence or equivalence among them.

Lógica fuzzy na avaliação da fertilidade do solo e produtividade do café conilon

The objective of this study was to analyze, using the geoestatistic and a system of classification fuzzy, the fertility of an experimental area with base in chemical attributes of the soil and its relationship with the productivity of the conilon coffee. The study was accomplished in the experimental farm of the INCAPER - ES. The soil samples were collected in the depth of 0 - 0.2 m, being analyzed the attributes: matches, potassium, calcium and magnesium, aluminum, sum of bases, cation exchange capacity (pH 7), and saturation percentage. The data were submitted to a descriptive, exploratory, and geostatistical analysis. A system of fuzzy classification was applied using the attributes described to infer about the fertility of the soil and its relationship with the productivity of the culture. The fertility possibility presented positive spatial relationship with the productivity of the culture, with higher values of this where the possibility of fertile soil is superior.

Transformação cística como consequência de terceiro molar inferior incluso

The permanence of impacted third molar in the jaws can cause many pathological alterations, amongst them the appearance of odontogenic cysts. The paradental cyst appearance and evolution next to a mandibular included third molar was diagnosised in radiograph routine follow-up, and its evolution and treatment are described. Are discussed the aspects related with the preventive removal to the impacted third molars and the necessity to institution a plan of treatment based in clinical history and radiograph in order to establish a preventive protocol the alterations caused by these impactions. The indication of extraction of impacted third enclosed can be a way to preventing the appearance of these and otherspathologies associates to these lesions.

Aplicando lógica fuzzy no controle de robôs móveis usando dispositivos lógicos programáveis e a linguagem VHDL

Pós-graduação em Engenharia Elétrica - FEIS

Detecção e classificação de faltas de alta impedância em sistemas elétricos de potência usando lógica Fuzzy

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Formulação do controle preventivo em sistemas de distribuição de energia elétrica baseada na lógica fuzzy e redes neurais

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Lógica ANFIS aplicada na estimação da rugosidade e do desgaste da ferramenta de corte no processo de retificação plana de cerâmicas avançadas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Detecção e classificação de faltas de curto-circuito em sistemas de distribuição de energia elétrica usando lógica nebulosa

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

TAB2VHDL: um ambiente de síntese lógica para máquinas de estados finitos

Pós-graduação em Engenharia Elétrica - FEIS

A Obra Lógica racional, geométrica e analítica (1744) de Manoel de Azevedo Fortes (1660-1749): um estudo das possíveis contribuições para o desenvolvimento educacional luso-brasileiro

Pós-graduação em Educação Matemática - IGCE

Uma aplicação da lógica Fuzzy

Pós-graduação em Matemática Universitária - IGCE

Tableaux e indução na lógica do plausível

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Um modelo algébrico para a lógica do muito

Pós-graduação em Filosofia - FFC

Uma lógica do poucos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)