Resolution Proof Systems An Algebraic Theory / by Z. Stachniak.
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
Saved in: