Publications of S. Bonamico

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 Bonamico S., in the category IASI Research Reports (or show them all):


IASI Research Report n. 289  (Previous    Next)


Bonamico S., Cioni G., Colagrossi A.

A Gentzen based deduction method for the propositional theory.

ABSTRACT
A flexible automated deduction method which can be easily employed for the tratment of different classes of problems 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. The flexibility of the presented method is stressed, showing its use in the three different situations of a verificative, generative and causes for events approach. Even if the exposition is concerning the propositional theory, some considerations about the evolution towards a first order predicative theory are included.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -