Second semester of 2011:

• Filosofia da Lógica e Lógicas não-Clássicas (Philosophy of Logic and Non-Classical Logics - Undergraduate course)

• HF103 Teoria de Modelos (Model Theory - Graduate course)
Apostila de Teoria de Modelos (in Portuguese)

• HF001 Introdução à Lógica (Introduction to Logic - Graduate course)
Cinco primeiros capítulos do livro (em andamento) "Lógica e Aplicações", escrito junto a Walter Carnielli e Ricardo Bianconi (In Portuguese)
(Comentários e sugestões são muito bem-vindos)
 
• HF005 Teoria Axiomática de Conjuntos I (Axiomatic Set Theory - Graduate course)
Apostila de Teoria de Conjuntos (in Portuguese)
 
• HF009 Computabilidade (Computability theory - Graduate course)
  
 
• HF102 Metamatemática (Metamathematics- Logic and Category Theory - Graduate course)
Apostila de Lógica e Teoria de Categorias (in Portuguese)
Pequena apostila sobre o Lema de Yoneda (in Portuguese)
 
• HF105 Tópicos Especiais de Lógica II (Logic and Category Theory - Graduate course)

• HF003 Lógicas não-Clássicas (Non-Classical Logics - Graduate course)
 
• HF107 Tópicos Especiais de Lógica IV (Fibring of Logics - Graduate course)
Tutorial: Combinação de Lógicas (in Portuguese)
 
• HG404 Introdução à Lógica (Introduction to Logic - Undergraduate course)

 

• Teófilo de Souza Reis (Sheaves over Heyting Algebras and Fuzzy Sets) (2004-2005)
  
Monography: Feixes sobre álgebras de Heyting e aplicações à teoria de conjuntos fuzzy (Sheaves over Heyting algebras  and applications to fuzzy sets theory - in Portuguese)
 
• Rafael Testa (Deontic Logics) (2005)
  
Monography: Uma Análise de Algumas Lógicas Deônticas para a Representação de Normas Jurídicas (An Analysis of some Logics for the Representation of Juridical Norms - in Portuguese)
 
• Newton Marques Peron (Modal Paradoxes and Logics of Formal Inconsistency) (2006)
  
Monography: Paradoxos Modais e Lógicas da Inconsistência Formal (Modal Paradoxes and Logics of Formal Inconsistency - in Portuguese)
 
 

• Luis Augusto Sbardellini (Categorical Semantics) (1999-2001)
  
Master's Thesis: Semântica Categorial Generalizada (Generalized Categorical Semantics - in Portuguese)  


• Victor Leandro Fernández (Society Semantics) (1999-2001)
  
Master's Thesis: Semântica de Sociedades para Lógicas n-valentes (Society Semantics for n-valued Logics - in Portuguese)  


• Juliana Bueno (Algebraization via Possible-Translation Semantics) (2002-20004)
  
Master's Thesis: Semântica Algêbrica de Traduções Possíveis (Possible-Translations Algebraic Semantics - in Portuguese)  


• Alberto Leopoldo Batista Neto (Combinations of Logics)
  Master's Thesis: Representação e Combinação de Lógicas: Questões Conceituais (Representation and Combination of Logics: Conceptual Questions - in Portuguese)

•   Rafael Testa (Deontic Logics and Argumentation Theory) (2006-2008)
  
Master's Thesis: Dilemas Deônticos: Uma Abordagem Baseada em Relações de Preferências (Deontic Dilemmas: an approach based on preferences relations - in Portuguese)

Teófilo de Souza Reis (Categorical Combinations of Logics) (2006-2008)
Master's Thesis: Conectivos fexíveis: uma abordagem categorial às semânticas de traduções possíveis e à noção de forma lógica (Flexible  connectives: a categorial approach to possible-translations semantics and to the notion of logical form - in Portuguese)

•   Newton Marques Peron (Modal Paradoxes and Logics of Formal Inconsistency) (2007-2009)
  
Master's Thesis: Lógicas da Inconsistência Deôntica (Logics of Deontic Inconsistency - in Portuguese)
 
• Tarcísio Genaro Rodrigues (Paraconsistent Logic Programming) (2009-2010)
  Master's Thesis: Sobre os Fundamentos da Programação Lógica Paraconsistente (On the Foundations of Paraconsistent Logic Programming - in Portuguese)
  


•   Roberto Dumaresq ( Different approaches to paraconsistency: Logics of Formal Inconsistency and Logic of Epistemic Inconsistency) (ongoing)
  
  
•   María Inés Corbalán (Recovering operators) (ongoing)

• Luis Augusto Sbardellini (Real number objects in Toposes) (2001-2005)
  
PhD Thesis: O Continuum, os Reais e o Conceito de Homogeneidade (The Continuum, the Real Numbers and the Concept of Homogeneity - in Portuguese)

 
• Victor Leandro Fernández (Fibring of algebraizable logics) (2001-2005)
  
PhD Thesis: Fibrilação de Lógicas na Hierarquia de Leibniz (Fibring Logics within the Leibniz Hierarchy - in Portuguese)

 
• Wagner Sanz (Proof Theory) (2002-2006)
  
PhD Thesis: Uma Investigação Acerca das Regras para a Negação e o Absurdo em Dedução Natural (An Investigation About the Rules for Negation and Absurdum in Natural Deduction - in Portuguese)

 
• Luiz Henrique da Cruz Silvestrini (Quasi-Truth and paraconsistency) (2008-2011)

• Newton Marques Peron (Paraconsistent and Non-Classical Modal Logic) (ongoing)

• Rafael Testa (Argumentation Theory and Belief Revision) (ongoing)

• Márcio Moretto Ribeiro (Belief Revision) (2011-)

Home