This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Colagrossi A., in the category IASI Research Reports (or show them all):

---

IASI Research Report n. 318  (Previous    Next) 


Bonamico S., Cioni G., Colagrossi A.

A sequent calculus for deductive and abductive mathematical problems.

ABSTRACT

A flexible automated deduction method which can be easily employed for the treatment of different classes of problems, in particular those which require deduction or abduction, is presented. First, the methodological characteristics of the computation of different classes of problems from the logical point of view are considered. Then, a Sequent Calculus is defined and analyzed as an automated extended deduction tool; then its flexibility is stressed by showing its use in deductive and abductive problems.