Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems fo

This book considers logical proof systems from the point of view of their space complexity. After an introduction to propositional proof complexity the author s

This volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent Systems held in Charlotte, Nor

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formaliza

This volume contains the revised versions of the papers presented at the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS '94), he