Biblioteca de Matemática e Estatística/TM/IFCH-Unicamp
Aspeto
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 |