Logical consequence, reasoning and computation - LOGCONS

• Grant number: 10/51038-0
• Support Opportunities: Research Projects - Thematic Grants
• Duration: November 01, 2010 - October 31, 2016
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Walter Alexandre Carnielli
• Grantee: Walter Alexandre Carnielli
• Host Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
• Pesquisadores principais: 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/08115-1 - Deficit of resource in the resource-conscious calculus of Lambek, BP.DR; 13/04555-7 - Bases for paraconsistent logic programming in multi-valued logics, 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

(23)

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

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)

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

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)

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, SI, p. 387-410, APR 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)

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.; 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)

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)

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)

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)

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)

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)

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)