Logical consequence and combinations of logics: fundaments and efficient applications

• Processo: 04/14107-2
• Modalidade de apoio: Auxílio à Pesquisa - Temático
• Data de Início da vigência: 01 de abril de 2005
• Data de Término da vigência: 31 de março de 2010
• Área do conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Walter Alexandre Carnielli
• Beneficiário: Walter Alexandre Carnielli
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Pesquisadores principais: Itala Maria Loffredo D'Ottaviano ; Marcelo Esteban Coniglio
• Auxílio(s) vinculado(s): 06/52641-6 - Peircean pragmatic truth and da Costa's quasi-truth, AR.EXT
• Bolsa(s) vinculada(s): 08/07760-2 - Programação lógica paraconsistente baseada em Lógicas da Inconsistência Formal, BP.MS; 07/08722-4 - Computabilidade e indecidibilidade, BP.IC; 06/53028-6 - Revisao de crencas em logicas de descricao., BP.MS; + mais bolsas vinculadas 06/53405-4 - Conectivos flexiveis: uma abordagem categorial as semanticas de traducoes possiveis e a nocao de forma logica., BP.MS; 05/60568-4 - Sistemas de sequentes para as hierarquias paraconsistentes Cn e Cn* de da Costa, BP.PD; 05/55203-7 - Fundamentos de teoria de estruturas como base para uma filosofia da matemática, BP.DD; 05/53278-0 - Combinacoes entre logicas: questoes conceituais., BP.MS - menos bolsas vinculadas
• Assunto(s): Algoritmos Inferência
• Palavra(s)-Chave do Pesquisador: Algoritmos Quanticos | Aproximacoes De Logicas | Combinacoes De Logicas | Logica | Logica Computacional | Logicas Quanticas

Resumo

A noção de inferência lógica é de importância fundamental não somente em todas as formas de argumentação (seja formal ou informal) mas também em diversos aspectos da computação. O estudo da inferência lógica com vistas às aplicações exige a compreensão da combinação de mecanismos lógicos em diversos níveis. O presente projeto é focado em métodos específicos para combinar lógicas, sua interpretação algébrica e seus aspectos computacionais. A pesquisa na área da aproximação de inferências quantificacionais é uma abordagem promissora com respeito à complexidade intrínseca neste tipo de tarefa. Uma questão intimamente relacionada àquela da eficiência e ao esforço de compreender combinação de sistemas lógicos é a da computação quântica e das lógicas quânticas. Toda esta complexa questão requer pesquisadores de origem multidisciplinar envolvidos na difícil tarefa de investigar alternativas eficientes aos métodos tradicionais de inferência. O projeto envolve 22 pesquisadores e estudantes de pós-graduação em diversos níveis, com diferentes formações, a maioria da USP e da Unicamp (um deles da Unesp), com o apoio de 8 pesquisadores de 3 instituições internacionais. (AU)

Publicações científicas

(22)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

VELOSO, PAULO A. S.; VELOSO, SHEILA R. M.; VIANA, PETRUCIO; DE FREITAS, RENATA; BENEVIDES, MARIO; DELGADO, CARLA. On vague notions and modalities: a modular approach. LOGIC JOURNAL OF THE IGPL, v. 18, n. 3, p. 381-402, JUN 2010. (04/14107-2)

CARNIELLI, WALTER; CAROLINO, PIETRO K.. ADJUSTING A CONJECTURE OF ERDOS. CONTRIBUTIONS TO DISCRETE MATHEMATICS, v. 6, n. 1, p. 154-159, 2011. (04/14107-2)

SERNADAS, AMILCAR; SERNADAS, CRISTINA; RASGA, JOAO; CONIGLIO, MARCELO. A Graph-theoretic Account of Logics. JOURNAL OF LOGIC AND COMPUTATION, v. 19, n. 6, p. 1281-1320, DEC 2009. (04/14107-2)

CARNIELLI, WALTER. The Single-minded Pursuit of Consistency and its Weakness. STUDIA LOGICA, v. 97, n. 1, p. 81-100, FEB 2011. (04/14107-2)

AGUDELO, JUAN C.; CARNIELLI, WALTER. POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES. Review of Symbolic Logic, v. 4, n. 1, p. 150-170, MAR 2011. (05/04123-3, 04/14107-2)

OLIVEIRA, IGOR CARBONI; CARNIELLI, WALTER. The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. LOGIC JOURNAL OF THE IGPL, v. 16, n. 6, p. 585-590, DEC 2008. (04/14107-2)

RABELLO, GUILHERME DE SOUZA; FINGER, MARCELO. Approximations of Modal Logic K. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 143, p. 14-pg., 2006-01-06. (03/00312-0, 04/14107-2)

AGUDELO, JUAN C.; CARNIELLI, WALTER; AKL, SG; CALUDE, CS; DINNEEN, MJ; ROZENBERG, G; WAREHAM, HT. Unconventional models of computation through non-standard logic circuits. Lecture Notes in Computer Science, v. 4618, p. 3-pg., 2007-01-01. (04/14107-2)

CONIGLIO, MARCELO ESTEBAN. Recovering a Logic from Its Fragments by Meta-Fibring. LOGICA UNIVERSALIS, v. 1, n. 2, p. 40-pg., 2007-10-01. (04/14107-2)

CARNIELLI, WALTER; GRACIO, MARIA CLAUDIA C.. MODULATED LOGICS AND FLEXIBLE REASONING. LOGIC AND LOGICAL PHILOSOPHY, v. 17, n. 3, p. 39-pg., 2008-01-01. (04/14107-2)

DE FREITAS, RENATA; VELOSO, SHEILA R. M.; VELOSO, PAULO A. S.; VIANA, PETRUCIO; ARTEMOV, S; NERODE, A. Positive Fork Graph Calculus. Lecture Notes in Computer Science, v. 5407, p. 2-pg., 2009-01-01. (04/14107-2)

FINGER, MARCELO. Using Abduction to Compute Efficient Proofs. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 247, p. 11-pg., 2009-08-04. (04/14107-2)

BUENO-SOLER, JULIANA. Models for anodic and cathodic multimodalities. LOGIC JOURNAL OF THE IGPL, v. 20, n. 2, p. 19-pg., 2012-04-01. (08/03995-5, 04/14107-2)

BUENO-SOLER, JULIANA. Models for anodic and cathodic multimodalities. LOGIC JOURNAL OF THE IGPL, v. 20, n. 2, SI, p. 458-476, APR 2012. (04/14107-2, 08/03995-5)

BEZIAU, JEAN-YVES; CONIGLIO, MARCELO E.. To distribute or not to distribute?. LOGIC JOURNAL OF THE IGPL, v. 19, n. 4, SI, p. 566-583, AUG 2011. (04/14107-2)

AGUDELO, JUAN C.; CARNIELLI, WALTER. Paraconsistent Machines and their Relation to Quantum Computing. JOURNAL OF LOGIC AND COMPUTATION, v. 20, n. 2, p. 573-595, APR 2010. (04/14107-2)

RASGA, JOAO; CARNIELLI, WALTER; SERNADAS, CRISTINA. Interpolation via translations. MATHEMATICAL LOGIC QUARTERLY, v. 55, n. 5, p. 515-534, OCT 2009. (04/14107-2)

CONIGLIO, M. E.; SERNADAS, A.; SERNADAS, C.. Preservation by fibring of the finite model property. JOURNAL OF LOGIC AND COMPUTATION, v. 21, n. 2, p. 375-402, APR 2011. (04/14107-2)

D'AGOSTINO, MARCELLO; FINGER, MARCELO; GABBAY, DOV. Cut-Based Abduction. LOGIC JOURNAL OF THE IGPL, v. 16, n. 6, p. 537-560, DEC 2008. (04/14107-2)

BEZIAU, JEAN-YVES; CONIGLIO, MARCELO E.. To distribute or not to distribute?. LOGIC JOURNAL OF THE IGPL, v. 19, n. 4, p. 18-pg., 2011-08-01. (04/14107-2)

BUENO-SOLER, JULIANA. Two Semantical Approaches to Paraconsistent Modalities. LOGICA UNIVERSALIS, v. 4, n. 1, p. 24-pg., 2010-03-01. (08/03995-5, 04/14107-2)

NETO, ADOLFO; KAESTNER, CELSO A. A.; FINGER, MARCELO. Towards an Efficient Prover for the C-1 Paraconsistent Logic. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 256, p. 16-pg., 2009-12-02. (04/14107-2)