Logical consequence, reasoning and computation - LOGCONS

• Processo: 10/51038-0
• Modalidade de apoio: Auxílio à Pesquisa - Temático
• Data de Início da vigência: 01 de novembro de 2010
• Data de Término da vigência: 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/04555-7 - Bases para programação lógica paraconsistente em lógicas multivaloradas, BP.DR; 13/08115-1 - Déficit de recursos no cálculo resource-conscious de Lambek, 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
• Palavra(s)-Chave do Pesquisador: Relacoes De Consequencias
• Publicação FAPESP: https://media.fapesp.br/bv/uploads/pdfs/Excellence...sciences_1jcZjd9_62_63.pdf

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)

Publicações científicas

(23)

(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)

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. (10/51038-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. (14/22119-2, 10/51038-0)

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. (10/51038-0)

BUENO-SOLER, JULIANA; CARNIELLI, WALTER. Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem. Entropy, v. 18, n. 9, SEP 2016. (10/51038-0)

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. (10/51038-0)

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, p. 33-pg., 2016-06-01. (10/51038-0)

BUENO-SOLER, JULIANA; CARNIELLI, WALTER; MARKIN, V; ZAITSEV, D. Experimenting with Consistency. LOGICAL LEGACY OF NIKOLAI VASILIEV AND MODERN LOGIC, v. 387, p. 23-pg., 2017-01-01. (10/51038-0)

CARNIELLI, WALTER; MATULOVIC, MARIANA. Non-deterministic Semantics in Polynomial Format. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 305, p. 16-pg., 2014-07-11. (10/51038-0)

BUENO-SOLER, JULIANA; CARNIELLI, WALTER; NEW YORK ACAD SCI. e-Reasoning: between digital humanities and e-science. 2014 IEEE 10TH INTERNATIONAL CONFERENCE ON E-SCIENCE (E-SCIENCE), VOL 1, v. N/A, p. 3-pg., 2014-01-01. (10/51038-0)

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. (10/51038-0)

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. (10/51038-0)

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. (10/51038-0)

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. (10/51038-0)

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. (08/03995-5, 10/51038-0, 11/19860-4)

CONIGLIO, MARCELO ESTEBAN; DA CRUZ SILVESTRINI, LUIZ HENRIQUE. An alternative approach for quasi-truth. LOGIC JOURNAL OF THE IGPL, v. 22, n. 2, p. 24-pg., 2014-04-01. (10/51038-0)

CONIGLIO, MARCELO E.; PERON, NEWTON M.. Dugundji's Theorem Revisited. LOGICA UNIVERSALIS, v. 8, n. 3-4, p. 16-pg., 2014-12-01. (10/51038-0)

AGUDELO-AGUDELO, JUAN C.; CARNIELLI, WALTER. Polynomial ring calculus for modalities. JOURNAL OF LOGIC AND COMPUTATION, v. 27, n. 6, p. 18-pg., 2017-09-01. (10/51038-0)

CARNIELLI, WALTER; CONIGLIO, MARCELO E.. Paraconsistent set theory by predicating on consistency. JOURNAL OF LOGIC AND COMPUTATION, v. 26, n. 1, p. 20-pg., 2016-02-01. (10/51038-0)

TESTA, RAFAEL R.; CONIGLIO, MARCELO E.; RIBEIRO, MARCIO M.. AGM-like paraconsistent belief change. LOGIC JOURNAL OF THE IGPL, v. 25, n. 4, p. 41-pg., 2017-08-01. (10/51038-0, 14/22119-2)

CONIGLIO, MARCELO E.; CORBALAN, MARIA I.. Sequent Calculi for the classical fragment of Bochvar and Hallden's Nonsense Logics. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, v. N/A, n. 113, p. 12-pg., 2013-01-01. (10/51038-0)

BUENO-SOLER, JULIANA. Multimodal Incompleteness Under Weak Negations. LOGICA UNIVERSALIS, v. 7, n. 1, p. 11-pg., 2013-03-01. (10/51038-0)

CONIGLIO, MARCELO E.; PERON, NEWTON M.. Modal Extensions of Sub-classical Logics for Recovering Classical Logic. LOGICA UNIVERSALIS, v. 7, n. 1, p. 16-pg., 2013-03-01. (10/51038-0, 09/10239-5)

DE ARAUJO, ANDERSON; FINGER, MARCELO. Classical and quantum satisfiability. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, v. N/A, n. 81, p. 6-pg., 2012-01-01. (10/51038-0, 08/03995-5, 11/07781-2)