Advanced search
Start date
Betweenand

Logical consequence, reasoning and computation - LOGCONS

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)

Articles published in Agência FAPESP Newsletter about the research grant:
Livro seminal da lógica contemporânea é traduzido do português para o inglês 

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.

Please report errors in scientific publications list by writing to: cdi@fapesp.br.