Logical consequence, reasoning and computation - LOGCONS

• Grant number: 10/51038-0
• Support type: Research Projects - Thematic Grants
• Duration: November 01, 2010 - October 31, 2016
• Field of knowledge: Humanities - Philosophy
• Principal Investigator: Walter Alexandre Carnielli
• Grantee: Walter Alexandre Carnielli
• Home Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
• Co-Principal Investigators: Itala Maria Loffredo D'Ottaviano ; Marcelo Esteban Coniglio
• Associated scholarship(s): 13/22371-0 - Towards a unified setting for non-monotony and paraconsistency, BP.PD; 14/04749-9 - The arithmetic paradigm: conceptual relations between logic and arithmetic, BP.PD; 13/25095-4 - Set theory and its interal logic, BP.PD; + associated scholarships 13/04568-1 - Non-deterministic matrices: theory and applications to algebraic semantics, BP.DR; 13/04555-7 - Bases for paraconsistent logic programming in multi-valued logics, BP.DR; 13/08115-1 - Deficit of resource in the resource-conscious calculus of Lambek, BP.DR; 12/20599-1 - Axiomatic systems for set theory, BP.PD; 12/19683-8 - About translations between logics: relations between conservative translations and contextual translations, BP.DR; 11/01384-1 - New perspectives in belief revision, BP.PD; 11/05870-8 - From logical consequence to probability, BE.PQ - associated scholarships

Abstract

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 about 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 studies, inheriting from the previous project (ConsRel 2004\11107-2). This amply justifies the interest in starting from the perspective of combining notions of logical consequence to investigate probabilistic, computational and philosophical topics. (AU)

Scientific publications

(10)

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

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. Web of Science Citations: 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. Web of Science Citations: 0.

BUENO-SOLER, JULIANA; CARNIELLI, WALTER. Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem. Entropy, v. 18, n. 9 SEP 2016. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 7.