Saltar para o conteúdo

Biblioteca de Matemática e Estatística/TM/IFCH-Unicamp

Fonte: Wikiversidade

Biblioteca do Instituto de Matemática e Estatística



Dissertações, Monografias, Relatórios, Teses



Fundamentos e Filosofia da Matemática


Universidade de Campinas (Unicamp)[editar | editar código-fonte]

Instituto de Filosofia e Ciências Humanas (IFCH)[editar | editar código-fonte]

Autor Título Tipo de texto Ano
Almeida, João Marcos de Logics of Formal Inconsistency Tese de Doutorado 2005 Download
Almeida, João Marcos de Semânticas de Traduções Possíveis Dissertação de Mestrado 1999 Download
Alves, Daniel Durante Pereira Normalização forte via ordinal natural Tese de Doutorado 1999 Download
Barrero Guzmán, Tomás Andrés Lógica positiva: plenitude, potencialidade e problemas (do pensar sem negação) Dissertação de Mestrado 2004 Download
Batista Neto, Alberto Leopoldo Representação e Combinação de Lógicas: Questões Conceituais Dissertação de Mestrado 2007 Download
Biraben, Rodolfo Cristian Ertola Questões conceituais de computabilidade Tese de Doutorado 2001 Download
Bueno, Juliana Multimodalidades anódicas e catódicas: a negação controlada em lógicas multimodais e seu poder expressivo Tese de Doutorado 2009 Download
Bueno, Juliana Semântica Algébrica de Traduções Possíveis Dissertação de Mestrado 2004 Download
Carolino, Pietro Kreitlon Polinomização de lógicas: problemas e perspectivas Dissertação de Mestrado 2009 Download
Carvalho, Tadeu Fernandes de Sobre o cálculo diferencial paraconsistente de da Costa Tese de Doutorado 2004 Download
Castro, Milton Augustinis de Hierarquias de sistemas de dedução natural e de sistemas de tableaux analíticos para os sistemas Cn de da Costa Tese de Doutorado 2004 Download
Castro, Milton Augustinis de O Método de Dedução Natural Aplicado às Lógicas Proposicionais Paraconsistentes Cn Dissertação de Mestrado 1998 Download
Feitosa, Hércules de Araujo Traduções Conservativas Tese de Doutorado 1997 Download
Fernández, Victor Leandro Fibrilação de Lógicas na Hierarquia de Leibniz Tese de Doutorado 2005 Download
Fernández, Victor Leandro Semântica de Sociedades para Lógicas n-valentes Dissertação de Mestrado 2001 Download
Freire, Rodrigo de Alvarenga Os Fundamentos do Pensamento Matemático no Século XX e a Relevância Fundacional da Teoria de Modelos Dissertação de Mestrado 2009 Download
Gorsky, Samir Bezerra Semântica algébrica para as lógicas modais e seu interesse filosófico Dissertação de Mestrado 2008 Download
Grácio, Maria Cláudia Cabrini Lógicas moduladas e raciocínio sob incerteza Tese de Doutorado 1999 Download
Hifume, Carlos Uma teoria da verdade pragmática: a quase-verdade de Newton C. A. da Costa Dissertação de Mestrado 2003 Download
Monte, Daniel Liberalino Paraconsistência e modalidade Dissertação de Mestrado 2009 Download
Moura, José Eduardo de Almeida Um estudo de C em Cálculo de Seqüentes e Dedução Natural Tese de Doutorado 2001 Download
Peron, Newton Marques Paradoxos Modais e Lógicas da Inconsistência Formal Monografia de Conclusão de Curso 2007 Download
Petrillo, Paulo Roberto Raciocínio difuso via lógicas moduladas: uma solução ao paradoxo do Sorites Dissertação de Mestrado 2005 Download
Podiacki, Rodrigo Lógicas da inconsistência formal quantificadas Dissertação de Mestrado 2008 Download
Queiroz, Giovanni da Silva de Sobre a dualidade entre intuicionismo e paraconssistência Tese de Doutorado 1998 Download
Reis, Teófilo de Souza Conectivos flexíveis: uma abordagem categorial das semânticas de traduções possíveis Dissertação de Mestrado 2008 Download
Reis, Teófilo de Souza Feixes sobre álgebras de Heyting e aplicações à teoria de conjuntos fuzzy Relatório de Iniciação Científica 2005 Download
Rodrigues, Tarcísio Genaro Sobre os Fundamentos da Programação Lógica Paraconsistente Dissertação de Mestrado 2010 Download
Sanchez Botero, Clara Helena Aspectos da eliminabilidade dos operadores nominais Tese de Doutorado 1988 Download
Sanz, Wagner de Campos Uma Investigação Acerca das Regras para a Negação e o Absurdo em Dedução Natural Tese de Doutorado 2006 Download
Sautter, Frank Thomas Definições de conjunto finito Dissertação de Mestrado 1995 Download
Sbardellini, Luis Augusto O Continuum, os Reais e o Conceito de Homogeneidade Tese de Doutorado 2005 Download
Sbardellini, Luis Augusto Semântica Categorial Generalizada Dissertação de Mestrado 2001 Download
Scheer, Mauro Cesar Para uma teoria de traduções entre lógicas cumulativas Dissertação de Mestrado 2002 Download
Silvestrini, Luiz Henrique da Cruz Uma Nova Abordagem para a noção de Quase-Verdade Tese de Doutorado 2011 Download
Suguitani, Leandro Oliva Álgebra de Relações: uma axiomatização Tarskiana Dissertação de Mestrado 2008 Download
Tassinari, Ricardo Pereira Incompletude e auto-organização: sobre a determinação de verdades lógicas e matemáticas Tese de Doutorado 2003 Download




Instituto de Matemática e Estatística >> Biblioteca >> Dissertações, Monografias, Relatórios, Teses