Busca avançada
Ano de início
Entree

Logical consequence and combinations of logics: fundaments and efficient applications

Processo: 04/14107-2
Linha de fomento:Auxílio à Pesquisa - Temático
Vigência: 01 de abril de 2005 - 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ílios(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/53405-4 - Conectivos flexíveis: uma abordagem categorial as semânticas de traduções possíveis e a noção de forma lógica, BP.MS
+ mais bolsas vinculadas 06/53028-6 - Revisão de crenças em lógicas de descrição, 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 - Combinações entre lógicas: questões conceituais, BP.MS - menos bolsas vinculadas
Assunto(s):Algoritmos  Inferência 

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 (12)
(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)
BUENO-SOLER, JULIANA. Models for anodic and cathodic multimodalities. LOGIC JOURNAL OF THE IGPL, v. 20, n. 2, SI, p. 458-476, APR 2012. Citações Web of Science: 2.
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. Citações Web of Science: 3.
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. Citações Web of Science: 3.
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. Citações Web of Science: 6.
CARNIELLI, WALTER. The Single-minded Pursuit of Consistency and its Weakness. STUDIA LOGICA, v. 97, n. 1, p. 81-100, FEB 2011. Citações Web of Science: 4.
CARNIELLI, WALTER; CAROLINO, PIETRO K. ADJUSTING A CONJECTURE OF ERDOS. CONTRIBUTIONS TO DISCRETE MATHEMATICS, v. 6, n. 1, p. 154-159, 2011. Citações Web of Science: 0.
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. Citações Web of Science: 0.
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. Citações Web of Science: 6.
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. Citações Web of Science: 7.
RASGA, JOAO; CARNIELLI, WALTER; SERNADAS, CRISTINA. Interpolation via translations. MATHEMATICAL LOGIC QUARTERLY, v. 55, n. 5, p. 515-534, OCT 2009. Citações Web of Science: 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. Citações Web of Science: 8.
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. Citações Web of Science: 1.

Por favor, reporte erros na lista de publicações científicas escrevendo para: cdi@fapesp.br.