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.

Análise da eficiência energética em indústrias madeireiras através da lógica fuzzy

This paper presents the application of fuzzy theory to support the decision of implementing energy efficiency program in sawmills operating in the processing of Pinustaeda and Pinuselliotii. The justification of using a system based on fuzzy theory for analysis of consumption and the specific factors involved, such is the diversity of rates / factors. With the fuzzy theory, we can build a reliable system for verifying actual energy efficiency. The indices and factors characteristic of industrial activity were measured and used as the basis for the fuzzy system. We developed a management system and technology. The system involves the management practices in energy efficiency, maintenance of plant and equipment and the presence of qualified staff. The technological system involves the power factor, load factor, the factor of demand and the specific consumption. The first response provides the possibility of increased energy efficiency and the second level of energy efficiency in the industry studied. With this tool, programs can be developed for energy conservation and energy efficiency in the industrial timber with wide application in this area that is as diverse as production processes. The same systems developed can be used in other industrial activities, provided they are used indices and characteristic features of the sectors involved.

Profissionalização docente e subordinação do trabalho educativo à lógica flexível da produção capitalista

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

Interdito e silêncio: análise de alguns enunciados

Within the field of Discourse Analysis (Pêcheux) and psychoanalysis, this work states interdiction and silence as constituents and founders of the discourse. In short, we claim that what makes it possible to say anything is that it is not possible to say it all, so something must remain unsaid. The logic principle here is that the contradiction, the excluded founds the possible. For such task we use the logic square. We also propose and build a square of the saying or of the utterances. The analysis made here points toward the existence of the impossible in language, and also indicates how important a modal approach of language can be.

Logic TK: algebric notions from Tarski's consequence operator

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

Transporte público metropolitano nas regiões metropolitanas de Londrina e Maringá sob a ótica da mobilidade espacial

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

A neighbourhood semantic for the Logic TK

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

Reino da natureza, reino dos fins, e proto-reino: um estudo de traduções conservativas

We provide conservative translations from propositional modal logic KT (the simplest normal alethic logic) into propositional modal logic KD (the simplest normal deontic logic), and from this into the propositional modal logic K (the simplest normal logic simpliciter). Following an idea discussed by Jaakko Hintikka, these conservative translations are based on the third formulation of Kantian categorical imperative, the formulation of the Kingdom of Ends.