This is a Thematic Project sponsored by FAPESP 10/51038-0 running from November 2010 to October 2014

 

The notion of logical consequence, under the classical tradition, is the fundamental relation between premises and conclusion in any valid piece of reasoning. In this way, the foundations of logical consequence can be seen on two main aspects: model-theoretic and proof-theoretically. There are, however, many general problems concerning both approaches, which we investigate in the present project.
Questions of combining semantics and non-classical logics give new and very promising impetus to the research about new models of computation, such as quantum computation and information, and about quantum algorithms and quantum cryptography. The impact of practical applications of combinations of logics into the fields of theorem proving, AI, belief revision, probability and possibility will continued to be studied, inheriting from the previous project (ConsRel 2004\14107-2). This amply justifies the interest in starting from the perspective of combining notions of logical consequence to investigate probabilistic, computational and philosophical topics.

Equipe/Team

  • Project Coordinator

• Walter Carnielli (IFCH and CLE – UNICAMP)

Task Coordinators
• Itala M. L. D’Ottaviano (IFCH and CLE – UNICAMP)
• Marcelo E. Coniglio (IFCH and CLE – UNICAMP)
• Walter Carnielli (IFCH and CLE – UNICAMP)

Additional main researchers
• Carlile Lavor (MAT- IMECC- UNICAMP)
• Fabio Maria Bertato (CLE-UNICAMP)
• Flávio Corrêa da Silva (DCC-IME-USP)
• Hugo Mariano (MAT-IME-USP)
• Hércules de Araujo Feitosa (MAT-UNESP-Bauru)
• Juliana Bueno-Soler (UFABC-Santo André)
• Julio M. Stern (MAT-IME-USP)
• Luiz Henrique Silvestrini (MAT-UNESP-Bauru)
• Marcelo Finger (MAT-IME-USP)
• Marcelo S. Lauretto (EACH-USP Leste)
• Renata Wassermann (DCC-IME-USP)
• Rodolfo Ertola (CLE-UNICAMP)

Post-Doc Students
• Anderson de Araujo (IFCH-UNICAMP)
• Márcio Moretto-Ribeiro (CLE-UNICAMP)
• Rodrigo de Alvarenga Freire (CLE – UNICAMP)

PhD Students
• Mariana Matulovic (IFCH-UNICAMP)
• Marcos Alves (IFCH-UNICAMP)
• Newton Marques Peron (IFCH-UNICAMP)
• Rafael Rodrigues Testa (IFCH-UNICAMP)
• Ramon Souza Capelle de Andrade (IFCH-UNICAMP)
• Samir Bezerra Gorsky (IFCH-UNICAMP)
• Teófilo Reis (IFCH-UNICAMP)

MSc Students
• Antonio Basile (DCC-IME-USP)
• Bruno Vercelino da Hora (DCC-IME-USP)
• Maria Inés Corbal án (IFCH-UNICAMP)

External Participants
• Adolfo Gustavo Serra Seca Neto (Universidade Tecnológica Federal do Paraná, Curitiba)
• Alexandre Costa-Leite (Universidade de Brasília, Brasília)
• Amilcar Sernadas (IST, Lisbon)
• Carlos Caleiro (IST, Lisbon)
• Catarina Dutilh Novaes (Institute for Logic, Language and Computation (ILLC), University of Amsterdam)
• Cristina Sernadas (IST, Lisbon)
• Dov Gabbay (King’s College, London)
• Jean-Yves Béziau (Universidade Federal do Ceará, Fortaleza)
• José Nicoladelli (CEFET, Curitiba)
• João Marcos (Universidade Federal do Rio Grande do Norte, Natal)
• João Rasga (IST, Lisbon)
• Juan Carlos Agudelo (EAFIT-Medellin, Colômbia)
• Juliano Maranhão (Faculdade de Direito, USP)
• Marcello D’Agostino (Dipartimento di Scienze Umane, Universita degli studi di Ferrara)
• Martín Figallo (UNS, Bahia Blanca, Argentina)
• Paulo Mateus (IST, Lisbon)
• Renato Portugal (Laboratório Nacional de Computação Científica, Petrópolis)
• Víctor L. Fernández (National University of San Juan, Argentina)

CLE"