**Abstract**

The notion of logical inference is of fundamental importance not only in all forms of argumentation (be it formal or informal) but also ins several aspects of computing. Study of logical inference for applications requires understanding combinations of logical mechanisms in several guises. This project is focused on specific methods for combining logics and their semantical, algebraic and computational aspects. Approximating propositional and quantified inferences is a promising approach in taming of the intrinsic complexities of this task. Intimately related to the quest for efficiency and with the research effort of understanding combinations of logics, quantum logics and quantum computation arise as a11 important research area. This requires multidisciplinary researches involved in the hard task of providing efficient alternatives traditional methods of inference. This project involves 22 researchers with different backgrounds from USP and Unicamp with the support of 8 researchers from three international institutions. (AU)

Scientific publications
(22)

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

D'AGOSTINO, MARCELLO;

FINGER, MARCELO;

GABBAY, DOV.

Cut-Based Abduction.

** LOGIC JOURNAL OF THE IGPL**, v. 16, n. 6, p. 537-560,

DEC 2008. (

04/14107-2)

VELOSO, PAULO A. S.;

VELOSO, SHEILA R. M.;

VIANA, PETRUCIO;

DE FREITAS, RENATA;

BENEVIDES, MARIO;

DELGADO, CARLA.

On vague notions and modalities: a modular approach.

** LOGIC JOURNAL OF THE IGPL**, v. 18, n. 3, p. 381-402,

JUN 2010. (

04/14107-2)

AGUDELO, JUAN C.;

CARNIELLI, WALTER;

AKL, SG;

CALUDE, CS;

DINNEEN, MJ;

ROZENBERG, G;

WAREHAM, HT.

Unconventional models of computation through non-standard logic circuits.

** Lecture Notes in Computer Science**, v. 4618, p. 3-pg.,

2007-01-01. (

04/14107-2)

DE FREITAS, RENATA;

VELOSO, SHEILA R. M.;

VELOSO, PAULO A. S.;

VIANA, PETRUCIO;

ARTEMOV, S;

NERODE, A.

Positive Fork Graph Calculus.

** Lecture Notes in Computer Science**, v. 5407, p. 2-pg.,

2009-01-01. (

04/14107-2)