Goal-Directed Proof Theory /

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style...

Full description

Bibliographic Details

Main Author:	Gabbay, Dov M.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Olivetti, Nicola
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2000.
Series:	Applied logic series ; 21.
Subjects:	Philosophy (General) Logic. Computer science. Electronic books.
Online Access:	Connect to the full text of this electronic book