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

---

IASI Research Report n. 268  (Previous    Next) 


Forcellese G., Temperini M.

A system for automated deduction based on the connection method.

ABSTRACT

The implementation of a Logic Deduction System integrated in an object oriented enviroment for the manipulation of mathematical objects is presented. In this direction, firstly the fundamental features of the deduction mechanism are discussed together with the choices derived from the object oriented methodologies. Then the Connection Method is presented by comparing it with the Tableaux Method and providing a proof for equivalence. Finally, the implementation is described, stressing the different foundamental uses as a tool for the deduction in the environment and as a part of the related programming language.