Busca avançada
Ano de início
Entree

Logical consequence, reasoning and computation - LOGCONS

Processo: 10/51038-0
Linha de fomento:Auxílio à Pesquisa - Temático
Vigência: 01 de novembro de 2010 - 31 de outubro de 2016
Á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
Bolsa(s) vinculada(s):13/22371-0 - Em direção a um marco lógico unitário para a não-monotonidade e a paraconsistência, BP.PD
14/04749-9 - O paradigma aritmético: inter-relações conceituais da lógica com a aritmética, BP.PD
13/25095-4 - Teoria des conjuntos e sua lógica interna, BP.PD
+ mais bolsas vinculadas 13/04568-1 - Matrizes não-determinísticas: teoria e aplicações à semântica algébrica, BP.DR
13/08115-1 - Déficit de recursos no cálculo resource-conscious de Lambek, BP.DR
13/04555-7 - Bases para programação lógica paraconsistente em lógicas multivaloradas, BP.DR
12/20599-1 - Sistemas axiomáticos para a teoria de conjuntos, BP.PD
12/19683-8 - Sobre traduções entre lógicas: relações entre traduções conservativas e traduções contextuais, BP.DR
11/01384-1 - Novas perspectivas em revisão de crenças, BP.PD
11/05870-8 - Da consequência lógica à probabilidade, BE.PQ - menos bolsas vinculadas
Assunto(s):Consequência lógica 

Resumo

A noção de consequência lógica, na tradição clássica, consiste na relação fundamental entre premissas e conclusão, válida em qualquer aspecto do raciocínio. Dessa forma os fundamentos da noção de consequência lógica podem ser analisados em dois aspectos principais: do ponto de vista das demonstrações (ou provas) e sob o aspecto modelo-teórico. Há, contudo, muitos problemas relativos a ambas as abordagens, que investigamos no presente projeto. O ponto de vista das combinações de lógicas nos permite resolver diversos dos problemas presentes no ‘estado da arte’ das pesquisas em Lógica. Questões análogas às da combinação de semânticas e lógicas não clássicas dão um novo e promissor impulso para a pesquisa sobre novos modelos ele computação, como a computação e informação quântica, busca de algoritmos quânticos e criptografia quântica. O impacto das aplicações práticas de combinações de lógicas nos campos de prova de teoremas, IA, revisão de crenças, probabilidade e possibilidade herdando do projeto anterior (ConsRel 2004\14107-2). será continuado a ser estudado. Isto justifica amplamente o interesse em se partir da perspectiva de combinar noções de consequência lógica para investigar temas de cunho probabilístico, computacionais e filosóficos. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Livro seminal da lógica contemporânea é traduzido do português para o inglês 

Publicações científicas (10)
(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)
AGUDELO-AGUDELO, JUAN C.; CARNIELLI, WALTER. Polynomial ring calculus for modalities. JOURNAL OF LOGIC AND COMPUTATION, v. 27, n. 6, SI, p. 1853-1870, SEP 2017. Citações Web of Science: 0.
TESTA, RAFAEL R.; CONIGLIO, MARCELO E.; RIBEIRO, MARCIO M. AGM-like paraconsistent belief change. LOGIC JOURNAL OF THE IGPL, v. 25, n. 4, SI, p. 632-672, AUG 2017. Citações Web of Science: 0.
BUENO-SOLER, JULIANA; CARNIELLI, WALTER. Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem. Entropy, v. 18, n. 9 SEP 2016. Citações Web of Science: 2.
CONIGLIO, MARCELO E.; ESTEVA, FRANCESC; GODO, LLUIS. On the set of intermediate logics between the truth- and degree-preserving Aukasiewicz logics. LOGIC JOURNAL OF THE IGPL, v. 24, n. 3, SI, p. 288-320, JUN 2016. Citações Web of Science: 1.
CARNIELLI, WALTER; CONIGLIO, MARCELO E. Paraconsistent set theory by predicating on consistency. JOURNAL OF LOGIC AND COMPUTATION, v. 26, n. 1, SI, p. 97-116, FEB 2016. Citações Web of Science: 4.
CONIGLIO, MARCELO E.; ESTEVA, FRANCESC; GODO, LLUIS. Logics of formal inconsistency arising from systems of fuzzy logic. LOGIC JOURNAL OF THE IGPL, v. 22, n. 6, p. 880-904, DEC 2014. Citações Web of Science: 6.
CARNIELLI, WALTER; CONIGLIO, MARCELO E.; PODIACKI, RODRIGO; RODRIGUES, TARCISIO. ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY. Review of Symbolic Logic, v. 7, n. 3, p. 548-578, SEP 2014. Citações Web of Science: 5.
CONIGLIO, MARCELO E.; FIGALLO, MARTIN. Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras. STUDIA LOGICA, v. 102, n. 3, p. 525-539, JUN 2014. Citações Web of Science: 4.
CONIGLIO, MARCELO ESTEBAN; DA CRUZ SILVESTRINI, LUIZ HENRIQUE. An alternative approach for quasi-truth. LOGIC JOURNAL OF THE IGPL, v. 22, n. 2, SI, p. 387-410, APR 2014. Citações Web of Science: 14.
D'AGOSTINO, MARCELLO; FINGER, MARCELO; GABBAY, DOV. Semantics and proof-theory of depth bounded Boolean logics. THEORETICAL COMPUTER SCIENCE, v. 480, p. 43-68, APR 8 2013. Citações Web of Science: 7.

Por favor, reporte erros na lista de publicações científicas escrevendo para: cdi@fapesp.br.
Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.