Resolution Proof Systems : An Algebraic Theory /

Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics. It develops an algebraic theory of resolution proof systems focusing on the problems of proof theory, rep...

Full description

Bibliographic Details

Main Author:	Stachniak, Zbigniew
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1996.
Series:	Automated reasoning series ; 4.
Subjects:	Computer science. Algebra > Data processing. Artificial intelligence. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book