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

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)
### Instituto de Filosofia e Ciências Humanas (IFCH)

| 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$_{\omega }$ 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 |