Conservative translations

In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complex category constituted by logics and translations. (C) 2001 Elsevier B.V. B.V. All rights reserved.

Peirce's mathematical-logical approach to discrete collections and the premonition of continuity

According to Peirce one of the most important philosophical problems is continuity. Consequently, he set forth an innovative and peculiar approach in order to elucidate at once its mathematical and metaphysical challenges through proper non-classical logical reasoning. I will restrain my argument to the definition of the different types of discrete collections according to Peirce, with a special regard to the phenomenon called premonition of continuity (Peirce, 1976, Vol. 3, p. 87, c. 1897). © 2012 Copyright Taylor and Francis Group, LLC.

Detecção de faltas em sistemas de distribuição de energia elétrica usando dispositivos programáveis

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

O processo de intelecção em Pedro Abelardo

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

Naturalidade: o nível profundo da comunicaçao

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

Comunicação pública e participação nos conselhos gestores de políticas públicas: um estudo de caso do Conselho Estadual de Saúde de Mato Grosso do Sul

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

Carpintarias do útil: reflexões sobre componentes funcionais de uma escola

Pós-graduação em Educação - IBRC

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)

A lógica do muito em um sistema de tablôs

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

Transformações na estrutura produtiva do aglomerado metropolitano de Curitiba

Pós-graduação em Geografia - IGCE

Territórios de autossegregação e de segregação imposta: fragmentação socioespacial em Marília e São Carlos

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

Análise sócio-econômica da piscicultura em unidades de produção agropecuária familiares da região de Tupã, SP

Pós-graduação em Aquicultura - FCAV

Lógica pragmática e educação: experiência e linguagem em Dewey e Peirce

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